--- 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 *}