--- a/src/ZF/Main.thy Wed Jun 28 10:57:35 2000 +0200
+++ b/src/ZF/Main.thy Wed Jun 28 10:58:06 2000 +0200
@@ -2,4 +2,5 @@
(*$Id$
theory Main includes everything*)
-Main = Update + InfDatatype + List + EquivClass
+Main = Update + InfDatatype + List + EquivClass + Bin
+