src/HOLCF/Fixrec.thy
changeset 40502 8e92772bc0e8
parent 40327 1dfdbd66093a
child 40735 6f65843e78f3
     1.1 --- a/src/HOLCF/Fixrec.thy	Wed Nov 10 14:59:52 2010 -0800
     1.2 +++ b/src/HOLCF/Fixrec.thy	Wed Nov 10 17:56:08 2010 -0800
     1.3 @@ -5,7 +5,7 @@
     1.4  header "Package for defining recursive functions in HOLCF"
     1.5  
     1.6  theory Fixrec
     1.7 -imports Cprod Sprod Ssum Up One Tr Fix
     1.8 +imports Plain_HOLCF
     1.9  uses
    1.10    ("Tools/holcf_library.ML")
    1.11    ("Tools/fixrec.ML")