# HG changeset patch
# User huffman
# Date 1269376932 25200
# Node ID db69a6a1fbb542547d3908e0e7220964602dc24e
# Parent  93faaa15c3d5de5be8c79bc332307d3dc49881d5
minimize dependencies

diff -r 93faaa15c3d5 -r db69a6a1fbb5 src/HOLCF/Fix.thy
--- a/src/HOLCF/Fix.thy	Tue Mar 23 12:20:27 2010 -0700
+++ b/src/HOLCF/Fix.thy	Tue Mar 23 13:42:12 2010 -0700
@@ -6,7 +6,7 @@
 header {* Fixed point operator and admissibility *}
 
 theory Fix
-imports Cfun Cprod
+imports Cfun
 begin
 
 defaultsort pcpo
diff -r 93faaa15c3d5 -r db69a6a1fbb5 src/HOLCF/Fixrec.thy
--- a/src/HOLCF/Fixrec.thy	Tue Mar 23 12:20:27 2010 -0700
+++ b/src/HOLCF/Fixrec.thy	Tue Mar 23 13:42:12 2010 -0700
@@ -5,7 +5,7 @@
 header "Package for defining recursive functions in HOLCF"
 
 theory Fixrec
-imports Sprod Ssum Up One Tr Fix
+imports Cprod Sprod Ssum Up One Tr Fix
 uses
   ("Tools/holcf_library.ML")
   ("Tools/fixrec.ML")