Tue, 30 Jun 2009 18:23:50 +0200 | haftmann | an intermediate step towards a refined translation of cases | changeset | files |
Tue, 30 Jun 2009 17:33:30 +0200 | haftmann | all variable names are optional | changeset | files |
Tue, 30 Jun 2009 16:43:28 +0200 | haftmann | variable names in abstractions are optional | changeset | files |