Wed, 10 Jun 2009 15:05:19 +0200 | haftmann | separate directory for datatype package | changeset | files |
Wed, 10 Jun 2009 15:04:33 +0200 | haftmann | separate directory for datatype package | changeset | files |
Wed, 10 Jun 2009 15:04:32 +0200 | haftmann | revised interpretation combinator for datatype constructions | changeset | files |