| Sat, 06 Oct 2007 16:50:04 +0200 | simplified interfaces for outer syntax; | file | diff | annotate |
| Tue, 25 Sep 2007 13:28:37 +0200 | Syntax.parse/check/read; | file | diff | annotate |
| Sun, 23 Sep 2007 22:23:27 +0200 | TypeInfer.constrain: canonical argument order; | file | diff | annotate |
| Thu, 30 Aug 2007 22:35:34 +0200 | replaced ProofContext.infer_types by general Syntax.check_terms; | file | diff | annotate |
| Wed, 11 Jul 2007 11:56:59 +0200 | Function unify_consts moved from OldInductivePackage to PrimrecPackage. | file | diff | annotate |
| Thu, 31 May 2007 14:01:58 +0200 | moved HOLCF tools to canonical place; | file | diff | annotate |