/*
** Program: Clean Prover System
** Module:  ProjectCenter (.dcl)
** 
** Author:  Maarten de Mol
** Created: 26 February 2001
*/

definition module
	ProjectCenter

import
	States

openProjectCenter :: !*PState -> *PState