src/HOL/Library/Permutations.thy

--- a/src/HOL/Library/Permutations.thy	Mon Feb 23 07:58:13 2009 -0800
+++ b/src/HOL/Library/Permutations.thy	Mon Feb 23 10:42:31 2009 -0800
@@ -6,7 +6,7 @@
 header {* Permutations, both general and specifically on finite sets.*}
 
 theory Permutations
-imports Main Finite_Cartesian_Product Parity 
+imports Main Finite_Cartesian_Product Parity Fact
 begin
 
   (* Why should I import Main just to solve the Typerep problem! *)