Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/ZF/Ordinal.thy
changeset 852 664052e3cf66
parent 753 ec86863e87c8
child 1401 0c439768f45c 
--- a/src/ZF/Ordinal.thy	Thu Jan 12 03:01:20 1995 +0100
+++ b/src/ZF/Ordinal.thy	Thu Jan 12 03:01:40 1995 +0100
@@ -6,7 +6,7 @@
 Ordinals in Zermelo-Fraenkel Set Theory 
 *)
 
-Ordinal = WF + "simpdata" + "equalities" +
+Ordinal = WF + Bool + "simpdata" + "equalities" +
 consts
   Memrel      	:: "i=>i"
   Transset,Ord  :: "i=>o"
isabelle