| Wed, 15 Nov 2006 17:05:44 +0100 | haftmann | added filter_set; adaptions to more strict type discipline for code lemmas | file | diff | annotate |
| Mon, 13 Nov 2006 15:42:58 +0100 | haftmann | tuned | file | diff | annotate |
| Mon, 13 Nov 2006 15:01:59 +0100 | krauss | auto_term => lexicographic_order | file | diff | annotate |
| Mon, 06 Nov 2006 16:28:31 +0100 | haftmann | code generator module naming improved | file | diff | annotate |
| Fri, 03 Nov 2006 14:22:39 +0100 | haftmann | adapted to changes in codegen_data.ML | file | diff | annotate |
| Tue, 31 Oct 2006 14:58:12 +0100 | haftmann | adapted to new serializer syntax | file | diff | annotate |