Fri, 22 Nov 2019 15:26:08 +0100 | haftmann | tuned whitespace | changeset | files |
Fri, 22 Nov 2019 09:25:01 +0000 | haftmann | proper prefix syntax | changeset | files |
Fri, 22 Nov 2019 09:24:54 +0000 | haftmann | removed unused auxiliary lemmas | changeset | files |