--- a/src/HOLCF/HOLCF.thy Sat Apr 16 00:16:44 2005 +0200
+++ b/src/HOLCF/HOLCF.thy Sat Apr 16 00:17:52 2005 +0200
@@ -6,7 +6,7 @@
*)
theory HOLCF
-imports Sprod Ssum Up Lift Discrete One Tr
+imports Sprod Ssum Up Lift Discrete One Tr Domain
begin
text {*