# HG changeset patch
# User paulson
# Date 906470619 -7200
# Node ID 75356cabe3bba0d89ee78a1f68da03ffb97a43e5
# Parent  c361279ebc6624d253158ab0a7db4f9189667283
deleted erroneous semicolon

diff -r c361279ebc66 -r 75356cabe3bb src/ZF/Main.thy
--- 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