src/ZF/bool.ML
changeset 14 1c0926788772
parent 6 8ce8c4d13d4d
child 37 cebe01deba80
--- a/src/ZF/bool.ML	Fri Sep 24 11:27:15 1993 +0200
+++ b/src/ZF/bool.ML	Thu Sep 30 10:10:21 1993 +0100
@@ -8,7 +8,7 @@
 
 open Bool;
 
-val bool_defs = [bool_def,one_def,cond_def];
+val bool_defs = [bool_def,cond_def];
 
 (* Introduction rules *)