| Wed, 27 Dec 2006 19:10:03 +0100 | haftmann | dropped section header | file | diff | annotate |
| Mon, 18 Dec 2006 08:21:32 +0100 | haftmann | dropped debug cmd | file | diff | annotate |
| Mon, 27 Nov 2006 13:42:30 +0100 | haftmann | adjusted syntax for internal code generation | file | diff | annotate |
| 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 |