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 |