src/ZF/ZF.thy

--- a/src/ZF/ZF.thy	Mon Oct 20 10:53:25 1997 +0200
+++ b/src/ZF/ZF.thy	Mon Oct 20 10:53:42 1997 +0200
@@ -167,7 +167,7 @@
   succ_def      "succ(i) == cons(i, i)"
 
 
-path ZF
+local
 
 rules