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/Library/SetsAndFunctions.thy
changeset 30741 9e23e3ea7edd
parent 30729 461ee3e49ad3
parent 30738 0842e906300c
child 35267 8dfd816713c6 
--- a/src/HOL/Library/SetsAndFunctions.thy	Fri Mar 27 09:58:48 2009 +0100
+++ b/src/HOL/Library/SetsAndFunctions.thy	Fri Mar 27 10:12:55 2009 +0100
@@ -5,7 +5,7 @@
 header {* Operations on sets and functions *}
 
 theory SetsAndFunctions
-imports Plain
+imports Main
 begin
 
 text {*
isabelle