| Fri, 02 Mar 2007 15:43:15 +0100 | haftmann | prefix of class interpretation not mandatory any longer | file | diff | annotate |
| Wed, 28 Feb 2007 22:05:41 +0100 | wenzelm | added @{const_name}, @{const_syntax}; | file | diff | annotate |
| Wed, 14 Feb 2007 10:06:12 +0100 | haftmann | added class "preorder" | file | diff | annotate |
| Wed, 31 Jan 2007 16:05:10 +0100 | haftmann | dropped lemma duplicates in HOL.thy | file | diff | annotate |
| Sun, 21 Jan 2007 19:09:35 +0100 | wenzelm | * ML in Isar: improved error reporting; | file | diff | annotate |
| Sun, 21 Jan 2007 17:13:30 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 20 Jan 2007 14:09:23 +0100 | wenzelm | * ML within Isar: antiquotations; | file | diff | annotate |
| Fri, 19 Jan 2007 22:31:17 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 19 Jan 2007 22:14:23 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 30 Dec 2006 12:38:51 +0100 | wenzelm | * Proof General: proper undo of final 'end'; discontinued Isabelle/classic; | file | diff | annotate |
| Fri, 22 Dec 2006 14:03:30 +0100 | ballarin | Experimenting with interpretations of "definition". | file | diff | annotate |
| Mon, 18 Dec 2006 08:21:35 +0100 | haftmann | switched argument order in *.syntax lifters | file | diff | annotate |
| Tue, 12 Dec 2006 17:15:42 +0100 | huffman | additions to HOL-Complex | file | diff | annotate |
| Sun, 10 Dec 2006 15:30:31 +0100 | wenzelm | added print_abbrevs; | file | diff | annotate |
| Sat, 09 Dec 2006 18:05:36 +0100 | wenzelm | added antiquotation abbrev; | file | diff | annotate |