--- a/src/ZF/Bool.thy Thu Aug 10 00:45:23 2000 +0200 +++ b/src/ZF/Bool.thy Thu Aug 10 11:27:34 2000 +0200 @@ -8,7 +8,7 @@ 2 is equal to bool, but serves a different purpose *) -Bool = upair + +Bool = pair + consts bool :: i cond :: [i,i,i]=>i