src/HOLCF/Tools/fixrec_package.ML
Tue, 25 Sep 2007 13:28:37 +0200 wenzelm Syntax.parse/check/read;
Sun, 23 Sep 2007 22:23:27 +0200 wenzelm TypeInfer.constrain: canonical argument order;
Thu, 30 Aug 2007 22:35:34 +0200 wenzelm replaced ProofContext.infer_types by general Syntax.check_terms;
Wed, 11 Jul 2007 11:56:59 +0200 berghofe Function unify_consts moved from OldInductivePackage to PrimrecPackage.
Thu, 31 May 2007 14:01:58 +0200 wenzelm moved HOLCF tools to canonical place;
less more (0) tip