
diff -r 21291189b51e -r 9f35f2744fa8 HOL.thy
--- a/HOL.thy	Wed Mar 02 12:26:55 1994 +0100
+++ b/HOL.thy	Thu Mar 17 11:27:29 1994 +0100
@@ -18,7 +18,7 @@
   term
 
 types
-  bool 0
+  bool
   letbinds, letbind 0
   case_syn,cases_syn 0
 




