/*
** Program: Clean Prover System
** Module:  NewTheorem (.dcl)
** 
** Author:  Maarten de Mol
** Created: 22 January 2001
*/

definition module 
	NewTheorem

import 
	States

newTheorem :: !*PState -> *PState