# HG changeset patch
# User huffman
# Date 1272141251 25200
# Node ID ceea7e15c04b069892c74efff78dd885a1376c9d
# Parent  068a01b4bc56a83e63160f2b583dd5fd44e08dde
fix imports

diff -r 068a01b4bc56 -r ceea7e15c04b src/HOL/Library/Permutations.thy
--- 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