Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
finally theory Bin (the integers) is included
authorpaulson
Wed, 28 Jun 2000 10:58:06 +0200
changeset 9175 6f8499d86d4f
parent 9174 6ef054f33f83
child 9176 8f975d9c1046
finally theory Bin (the integers) is included
src/ZF/Main.thy file | annotate | diff | comparison | revisions 
--- 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
+
isabelle