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.
fix imports
authorhuffman
Sat, 24 Apr 2010 13:34:11 -0700
changeset 36335 ceea7e15c04b
parent 36334 068a01b4bc56
child 36336 1c8fc1bae0b5
fix imports
src/HOL/Library/Permutations.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Permutations.thy	Sat Apr 24 13:31:52 2010 -0700
+++ b/src/HOL/Library/Permutations.thy	Sat Apr 24 13:34:11 2010 -0700
@@ -5,7 +5,7 @@
 header {* Permutations, both general and specifically on finite sets.*}
 
 theory Permutations
-imports Finite_Cartesian_Product Parity Fact
+imports Parity Fact
 begin
 
 definition permutes (infixr "permutes" 41) where
isabelle