--- a/src/ZF/Bool.thy Tue Nov 16 14:23:19 1993 +0100 +++ b/src/ZF/Bool.thy Tue Nov 16 14:24:21 1993 +0100 @@ -6,7 +6,7 @@ Booleans in Zermelo-Fraenkel Set Theory *) -Bool = ZF + +Bool = ZF + "simpdata" + consts "1" :: "i" ("1") bool :: "i"