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/HOL/Infinite_Set.thy
changeset 14485 ea2707645af8
parent 14442 04135b0c06ff
child 14565 c6dc17aab88a 
--- a/src/HOL/Infinite_Set.thy	Thu Mar 25 10:31:25 2004 +0100
+++ b/src/HOL/Infinite_Set.thy	Thu Mar 25 10:32:21 2004 +0100
@@ -5,7 +5,7 @@
 
 header {* Infnite Sets and Related Concepts*}
 
-theory Infinite_Set = Hilbert_Choice + Finite_Set:
+theory Infinite_Set = Hilbert_Choice + Finite_Set + SetInterval:
 
 subsection "Infinite Sets"
isabelle