--- a/src/ZF/ZF.thy Mon Dec 20 15:24:25 2010 +0100
+++ b/src/ZF/ZF.thy Mon Dec 20 16:44:33 2010 +0100
@@ -17,7 +17,7 @@
consts
- "0" :: "i" ("0") --{*the empty set*}
+ zero :: "i" ("0") --{*the empty set*}
Pow :: "i => i" --{*power sets*}
Inf :: "i" --{*infinite set*}