Fri, 03 Nov 2006 14:22:35 +0100 | haftmann | dropped equals_conv for nbe | file | diff | annotate |
Tue, 31 Oct 2006 09:28:53 +0100 | haftmann | adaptions to changes in preprocessor | file | diff | annotate |
Fri, 20 Oct 2006 17:07:27 +0200 | haftmann | added reserved words for Haskell | file | diff | annotate |
Fri, 20 Oct 2006 10:44:36 +0200 | haftmann | added if_delayed | file | diff | annotate |
Mon, 16 Oct 2006 14:07:31 +0200 | haftmann | moved HOL code generator setup to Code_Generator | file | diff | annotate |