| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Mon, 06 Nov 2006 16:28:33 +0100 | haftmann | added state monad to HOL library | file | diff | annotate |
| Tue, 31 Oct 2006 14:58:12 +0100 | haftmann | adapted to new serializer syntax | file | diff | annotate |
| Tue, 31 Oct 2006 09:28:56 +0100 | haftmann | adapted to new serializer syntax | file | diff | annotate |
| Mon, 11 Sep 2006 21:35:19 +0200 | wenzelm | induct method: renamed 'fixing' to 'arbitrary'; | file | diff | annotate |
| Fri, 01 Sep 2006 08:36:51 +0200 | haftmann | final syntax for some Isar code generator keywords | file | diff | annotate |
| Wed, 23 Aug 2006 17:05:08 +0200 | haftmann | SML/NJ int type fix | file | diff | annotate |
| Mon, 21 Aug 2006 11:02:39 +0200 | haftmann | added some codegen examples/applications | file | diff | annotate |