2009-05-07 | haftmann | dropped explicit suppport for frees in evaluation conversion stack | changeset | files |
2009-05-07 | haftmann | no need for explicit delete declaration | changeset | files |
2009-05-07 | haftmann | better to have distinguished class for preorders | changeset | files |
Loading... |