| Thu, 10 Jun 2010 12:25:14 +0200 | haftmann | tailored set of code equations manually | changeset | files |
| Thu, 10 Jun 2010 12:24:03 +0200 | haftmann | tuned quotes, antiquotations and whitespace | changeset | files |
| 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 |