src/HOLCF/Tools/fixrec_package.ML
2008-03-20 wenzelm 2008-03-20 simplified get_thm(s): back to plain name argument;
2008-03-19 wenzelm 2008-03-19 renamed datatype thmref to Facts.ref, tuned interfaces;
2008-02-06 huffman 2008-02-06 use ML antiquotations
2007-12-06 haftmann 2007-12-06 added new primrec package
2007-10-21 wenzelm 2007-10-21 removed obsolete ML bindings;
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-09-25 wenzelm 2007-09-25 Syntax.parse/check/read;
2007-09-23 wenzelm 2007-09-23 TypeInfer.constrain: canonical argument order;
2007-08-30 wenzelm 2007-08-30 replaced ProofContext.infer_types by general Syntax.check_terms;
2007-07-11 berghofe 2007-07-11 Function unify_consts moved from OldInductivePackage to PrimrecPackage.
2007-05-31 wenzelm 2007-05-31 moved HOLCF tools to canonical place;