| Tue, 09 Oct 2007 00:20:13 +0200 | generic Syntax.pretty/string_of operations; | file | diff | annotate |
| Sat, 06 Oct 2007 16:50:04 +0200 | simplified interfaces for outer syntax; | file | diff | annotate |
| Tue, 25 Sep 2007 17:06:14 +0200 | proper Sign operations instead of Theory aliases; | file | diff | annotate |
| Sat, 01 Sep 2007 15:47:01 +0200 | replaced ProofContext.read_term/prop by general Syntax.read_term/prop; | file | diff | annotate |
| Fri, 10 Aug 2007 17:04:24 +0200 | ClassPackage renamed to Class | file | diff | annotate |
| Wed, 06 Jun 2007 23:06:29 +0200 | use new-style class for sq_ord; rename op << to sq_le | file | diff | annotate |
| Thu, 31 May 2007 14:01:58 +0200 | moved HOLCF tools to canonical place; | file | diff | annotate |