| Wed, 27 Dec 2006 19:10:00 +0100 | haftmann | added OCaml code generation (without dictionaries) | file | diff | annotate |
| Mon, 18 Dec 2006 08:21:31 +0100 | haftmann | explicit nonfix declaration for ML "subset" | file | diff | annotate |
| Tue, 28 Nov 2006 11:02:16 +0100 | haftmann | added strict_subset | file | diff | annotate |
| Fri, 24 Nov 2006 13:43:44 +0100 | krauss | The function package declares the [code] attribute automatically again. | file | diff | annotate |
| Wed, 22 Nov 2006 10:20:12 +0100 | haftmann | dropped eq const | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Wed, 15 Nov 2006 17:05:44 +0100 | haftmann | added filter_set; adaptions to more strict type discipline for code lemmas | file | diff | annotate |