Mon, 09 Oct 2006 12:20:39 +0200 |
nipkow |
added delayed_if
|
file |
diff |
annotate
|
Mon, 02 Oct 2006 23:01:03 +0200 |
haftmann |
cleaned and extended
|
file |
diff |
annotate
|
Sun, 01 Oct 2006 18:29:23 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 19 Sep 2006 15:21:58 +0200 |
haftmann |
improved numeral handling for nbe
|
file |
diff |
annotate
|
Wed, 13 Sep 2006 12:05:50 +0200 |
krauss |
Major update to function package, including new syntax and the (only theoretical)
|
file |
diff |
annotate
|
Tue, 08 Aug 2006 08:19:18 +0200 |
haftmann |
adding code lemma now works as expected
|
file |
diff |
annotate
|
Tue, 25 Jul 2006 16:43:47 +0200 |
haftmann |
improvements for lazy code generation
|
file |
diff |
annotate
|
Fri, 30 Jun 2006 18:26:36 +0200 |
nipkow |
normal_form to lemma test
|
file |
diff |
annotate
|
Fri, 09 Jun 2006 12:17:37 +0200 |
nipkow |
renamed file
|
file |
diff |
annotate
|