Wed, 22 Nov 2006 10:20:12 +0100 | haftmann | dropped eq const | file | diff | annotate |
Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
Wed, 15 Nov 2006 17:05:37 +0100 | haftmann | added evaluation oracle | file | diff | annotate |
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 |