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.
Imports Main in order to avoid the typerep problem
authorchaieb
Mon, 09 Feb 2009 16:20:24 +0000
changeset 29839 018ac1fa1ed3
parent 29838 a562ca0c408d
child 29840 cfab6a76aa13
Imports Main in order to avoid the typerep problem
src/HOL/Library/Infinite_Set.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Infinite_Set.thy	Mon Feb 09 16:19:46 2009 +0000
+++ b/src/HOL/Library/Infinite_Set.thy	Mon Feb 09 16:20:24 2009 +0000
@@ -6,7 +6,7 @@
 header {* Infinite Sets and Related Concepts *}
 
 theory Infinite_Set
-imports Plain "~~/src/HOL/SetInterval" "~~/src/HOL/Hilbert_Choice"
+imports Main "~~/src/HOL/SetInterval" "~~/src/HOL/Hilbert_Choice"
 begin
isabelle