| Fri, 19 Mar 2010 00:46:08 +0100 | wenzelm | allow sort constraints in HOL/typedef; | file | diff | annotate |
| Sat, 13 Mar 2010 15:12:17 +0100 | wenzelm | removed obsolete HOL 'typedecl'; | file | diff | annotate |
| Sat, 06 Mar 2010 15:39:16 +0100 | wenzelm | eliminated Args.bang_facts (legacy feature); | file | diff | annotate |
| Wed, 24 Feb 2010 20:37:01 +0100 | wenzelm | allow general mixfix syntax for type constructors; | file | diff | annotate |
| Tue, 23 Feb 2010 14:11:36 +0100 | blanchet | document Quickcheck's "no_assms" option | file | diff | annotate |
| Wed, 23 Dec 2009 08:31:14 +0100 | haftmann | updated documentation | file | diff | annotate |
| Mon, 23 Nov 2009 15:06:38 +0100 | krauss | documented size_change in isar-ref manual | file | diff | annotate |