Wed, 29 Nov 2006 15:44:46 +0100 |
wenzelm |
simplified method setup;
|
file |
diff |
annotate
|
Mon, 27 Nov 2006 13:42:33 +0100 |
haftmann |
removed HOL structure
|
file |
diff |
annotate
|
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
|