--- a/src/ZF/Main.thy Tue Sep 22 15:22:18 1998 +0200
+++ b/src/ZF/Main.thy Tue Sep 22 15:23:39 1998 +0200
@@ -2,5 +2,4 @@
(*$Id$
theory Main includes everything*)
-Main = Update + InfDatatype + List + EquivClass;
-
+Main = Update + InfDatatype + List + EquivClass