--- a/src/HOLCF/HOLCF.thy Sun Feb 19 01:40:13 2006 +0100
+++ b/src/HOLCF/HOLCF.thy Sun Feb 19 02:11:27 2006 +0100
@@ -6,7 +6,7 @@
*)
theory HOLCF
-imports Sprod Ssum Up Lift Discrete One Tr Domain
+imports Sprod Ssum Up Lift Discrete One Tr Domain Main
uses
"holcf_logic.ML"
"cont_consts.ML"