diff -r 68400ff46b09 -r e16e168984e1 src/ZF/Main.thy
--- a/src/ZF/Main.thy	Thu Aug 10 00:45:23 2000 +0200
+++ b/src/ZF/Main.thy	Thu Aug 10 11:27:34 2000 +0200
@@ -2,5 +2,5 @@
 (*$Id$
   theory Main includes everything*)
 
-Main = Update + InfDatatype + List + EquivClass + Bin
+Main = Update + InfDatatype + List + EquivClass + IntArith