Wed, 27 Dec 2006 19:10:03 +0100 | haftmann | dropped section header | file | diff | annotate |
Sun, 10 Dec 2006 19:37:28 +0100 | wenzelm | HOLogic cleanup; | file | diff | annotate |
Wed, 22 Nov 2006 10:20:15 +0100 | haftmann | incorporated structure HOList into HOLogic | file | diff | annotate |
Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
Tue, 31 Oct 2006 09:28:56 +0100 | haftmann | adapted to new serializer syntax | file | diff | annotate |
Fri, 20 Oct 2006 17:07:27 +0200 | haftmann | added reserved words for Haskell | file | diff | annotate |
Fri, 01 Sep 2006 08:36:51 +0200 | haftmann | final syntax for some Isar code generator keywords | file | diff | annotate |
Mon, 21 Aug 2006 11:02:39 +0200 | haftmann | added some codegen examples/applications | file | diff | annotate |