Wed, 22 Apr 2009 19:09:22 +0200 | haftmann | more localisation | changeset | files |
Wed, 22 Apr 2009 19:09:21 +0200 | haftmann | power operation defined generic | changeset | files |
Wed, 22 Apr 2009 19:09:19 +0200 | haftmann | fixed compilation of predicate types in ML environment | changeset | files |