| Thu, 10 Jun 2010 12:24:02 +0200 | haftmann | moved inductive_codegen to place where product type is available; tuned structure name | changeset | files |
| Thu, 10 Jun 2010 12:24:01 +0200 | haftmann | qualified type "*"; qualified constants Pair, fst, snd, split | changeset | files |
| Tue, 08 Jun 2010 16:37:22 +0200 | haftmann | tuned quotes, antiquotations and whitespace | changeset | files |
| Tue, 08 Jun 2010 16:37:19 +0200 | haftmann | qualified types "+" and nat; qualified constants Ball, Bex, Suc, curry; modernized some specifications | changeset | files |
| Thu, 10 Jun 2010 12:08:33 +0200 | krauss | Adapted Mirabelle script (cf. f60e4dd6d76f) | changeset | files |
| Tue, 08 Jun 2010 07:45:39 +0200 | haftmann | merged | changeset | files |