diff -r 8743cc847224 -r 5fd62bcdff62 src/ZF/ZF.thy
--- a/src/ZF/ZF.thy	Tue May 07 14:27:39 2002 +0200
+++ b/src/ZF/ZF.thy	Tue May 07 14:27:54 2002 +0200
@@ -6,7 +6,7 @@
 Zermelo-Fraenkel Set Theory
 *)
 
-ZF = FOL + Let +
+ZF = Let +
 
 global