
diff -r 35f30e07fe0d -r 64cd30d6b0b8 src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy
--- a/src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy	Wed Dec 29 13:51:17 2010 +0100
+++ b/src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy	Wed Dec 29 17:34:41 2010 +0100
@@ -3,7 +3,7 @@
 header {* Formalization of a Countermeasure by Koepf & Duermuth 2009 *}
 
 theory Koepf_Duermuth_Countermeasure
-  imports Information Permutation
+  imports Information "~~/src/HOL/Library/Permutation"
 begin
 
 lemma




