--- a/src/ZF/Bool.thy Fri Jun 17 11:35:35 2005 +0200 +++ b/src/ZF/Bool.thy Fri Jun 17 16:12:49 2005 +0200 @@ -7,7 +7,7 @@ header{*Booleans in Zermelo-Fraenkel Set Theory*} -theory Bool = pair: +theory Bool imports pair begin syntax "1" :: i ("1")