Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/HOLCF/Tools/fixrec.ML
changeset 45897 65cef0298158
parent 45787 9fcaf2557c59
child 46895 de5cfda8b2de 
--- a/src/HOL/HOLCF/Tools/fixrec.ML	Fri Dec 16 10:38:38 2011 +0100
+++ b/src/HOL/HOLCF/Tools/fixrec.ML	Fri Dec 16 10:52:35 2011 +0100
@@ -326,7 +326,7 @@
 (*************************************************************************)
 
 local
-(* code adapted from HOL/Tools/primrec.ML *)
+(* code adapted from HOL/Tools/Datatype/primrec.ML *)
 
 fun gen_fixrec
   prep_spec
isabelle