Wed, 06 Feb 2008 22:10:29 +0100 | huffman | use ML antiquotations | file | diff | annotate |
Thu, 06 Dec 2007 15:10:09 +0100 | haftmann | added new primrec package | file | diff | annotate |
Sun, 21 Oct 2007 14:21:53 +0200 | wenzelm | removed obsolete ML bindings; | file | diff | annotate |
Sat, 06 Oct 2007 16:50:04 +0200 | wenzelm | simplified interfaces for outer syntax; | file | diff | annotate |
Tue, 25 Sep 2007 13:28:37 +0200 | wenzelm | Syntax.parse/check/read; | file | diff | annotate |
Sun, 23 Sep 2007 22:23:27 +0200 | wenzelm | TypeInfer.constrain: canonical argument order; | file | diff | annotate |
Thu, 30 Aug 2007 22:35:34 +0200 | wenzelm | replaced ProofContext.infer_types by general Syntax.check_terms; | file | diff | annotate |
Wed, 11 Jul 2007 11:56:59 +0200 | berghofe | Function unify_consts moved from OldInductivePackage to PrimrecPackage. | file | diff | annotate |
Thu, 31 May 2007 14:01:58 +0200 | wenzelm | moved HOLCF tools to canonical place; | file | diff | annotate |