src/HOLCF/Fixrec.thy

--- a/src/HOLCF/Fixrec.thy	Wed Nov 10 14:59:52 2010 -0800
+++ b/src/HOLCF/Fixrec.thy	Wed Nov 10 17:56:08 2010 -0800
@@ -5,7 +5,7 @@
 header "Package for defining recursive functions in HOLCF"
 
 theory Fixrec
-imports Cprod Sprod Ssum Up One Tr Fix
+imports Plain_HOLCF
 uses
   ("Tools/holcf_library.ML")
   ("Tools/fixrec.ML")