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