Sun, 15 Feb 2015 17:01:22 +0100 | haftmann | explicit equivalence for strict order on lattices | changeset | files |
Sun, 15 Feb 2015 08:17:46 +0100 | haftmann | tuned | changeset | files |
Sun, 15 Feb 2015 08:17:44 +0100 | haftmann | purge variables not mentioned in body from pattern | changeset | files |