Fri, 02 Mar 2007 15:43:25 +0100 |
haftmann |
tuned code theorems for ord on integers
|
file |
diff |
annotate
|
Thu, 04 Jan 2007 14:01:37 +0100 |
haftmann |
more term examples
|
file |
diff |
annotate
|
Wed, 22 Nov 2006 10:20:20 +0100 |
haftmann |
example tuned
|
file |
diff |
annotate
|
Mon, 06 Nov 2006 16:28:37 +0100 |
haftmann |
(adjustions)
|
file |
diff |
annotate
|
Fri, 03 Nov 2006 14:22:42 +0100 |
haftmann |
some example tweaking
|
file |
diff |
annotate
|
Tue, 31 Oct 2006 09:29:08 +0100 |
haftmann |
*** empty log message ***
|
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
|
Mon, 09 Oct 2006 12:51:31 +0200 |
nipkow |
added nbe_post for delayed_if
|
file |
diff |
annotate
|
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
|