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.
import swap prevents strange failure of SML code generator for datatypes
authorhaftmann
Fri, 13 Aug 2010 10:51:23 +0200
changeset 38400 9bfcb1507c6b
parent 38399 04d220477074
child 38401 c4de81b7fdec
import swap prevents strange failure of SML code generator for datatypes
src/HOL/Finite_Set.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Finite_Set.thy	Fri Aug 13 10:38:28 2010 +0200
+++ b/src/HOL/Finite_Set.thy	Fri Aug 13 10:51:23 2010 +0200
@@ -6,7 +6,7 @@
 header {* Finite sets *}
 
 theory Finite_Set
-imports Power Option
+imports Option Power
 begin
 
 subsection {* Predicate for finite sets *}
isabelle