src/CTT/Bool.thy

--- a/src/CTT/Bool.thy	Fri Jun 02 18:15:38 2006 +0200
+++ b/src/CTT/Bool.thy	Fri Jun 02 18:24:48 2006 +0200
@@ -10,7 +10,7 @@
 imports CTT
 begin
 
-constdefs
+definition
   Bool :: "t"
   "Bool == T+T"