Sun, 08 Oct 2017 22:28:20 +0200 | haftmann | canonical introduction and destruction rules for pairwise | changeset | files |
Sun, 08 Oct 2017 22:28:20 +0200 | haftmann | avoid fact name clashes | changeset | files |
Sun, 08 Oct 2017 22:28:19 +0200 | haftmann | spelling and tuned whitespace | changeset | files |