src/HOL/HOLCF/Tools/fixrec.ML
changeset 45897 65cef0298158
parent 45787 9fcaf2557c59
child 46895 de5cfda8b2de
     1.1 --- a/src/HOL/HOLCF/Tools/fixrec.ML	Fri Dec 16 10:38:38 2011 +0100
     1.2 +++ b/src/HOL/HOLCF/Tools/fixrec.ML	Fri Dec 16 10:52:35 2011 +0100
     1.3 @@ -326,7 +326,7 @@
     1.4  (*************************************************************************)
     1.5  
     1.6  local
     1.7 -(* code adapted from HOL/Tools/primrec.ML *)
     1.8 +(* code adapted from HOL/Tools/Datatype/primrec.ML *)
     1.9  
    1.10  fun gen_fixrec
    1.11    prep_spec