# HG changeset patch
# User paulson
# Date 962182686 -7200
# Node ID 6f8499d86d4fdf98b44f584b25dbf054ae0ddd6e
# Parent  6ef054f33f8355bdfc66c90451b151d17ce07eea
finally theory Bin (the integers) is included

diff -r 6ef054f33f83 -r 6f8499d86d4f src/ZF/Main.thy
--- 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
+