Sun, 18 Dec 2016 12:34:31 +0100 | wenzelm | tuned; | changeset | files |
Sun, 18 Dec 2016 12:32:20 +0100 | wenzelm | more permissive syntax; | changeset | files |
Sat, 17 Dec 2016 15:22:14 +0100 | haftmann | reoriented congruence rules in non-explosive direction | changeset | files |