| Sun, 06 May 2007 21:50:17 +0200 | haftmann | changed code generator invocation syntax | file | diff | annotate |
| 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 |