| 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 |