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/Main.thy
changeset 13403 bc2b32ee62fd
parent 13367 ad307f0d80db
child 13755 a9bb54a3cfb7 
--- a/src/HOL/Main.thy	Sun Jul 21 15:37:04 2002 +0200
+++ b/src/HOL/Main.thy	Sun Jul 21 15:42:30 2002 +0200
@@ -6,7 +6,7 @@
 
 header {* Main HOL *}
 
-theory Main = Map + Hilbert_Choice:
+theory Main = Map + Hilbert_Choice + Extraction:
 
 text {*
   Theory @{text Main} includes everything.  Note that theory @{text
isabelle