
diff -r ffae1d9bad06 -r 6d66975b711f src/HOL/HOLCF/LowerPD.thy
--- a/src/HOL/HOLCF/LowerPD.thy	Fri Dec 17 23:18:39 2010 +0100
+++ b/src/HOL/HOLCF/LowerPD.thy	Fri Dec 17 16:43:45 2010 -0800
@@ -5,7 +5,7 @@
 header {* Lower powerdomain *}
 
 theory LowerPD
-imports CompactBasis
+imports Compact_Basis
 begin
 
 subsection {* Basis preorder *}




