| Thu, 07 May 2009 16:22:35 +0200 | haftmann | dropped explicit suppport for frees in evaluation conversion stack | changeset | files |
| Thu, 07 May 2009 16:22:34 +0200 | haftmann | no need for explicit delete declaration | changeset | files |
| Thu, 07 May 2009 16:22:34 +0200 | haftmann | better to have distinguished class for preorders | changeset | files |