Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | dropped weaker legacy alias | changeset | files |
Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | slightly more stringent ordering of theorems | changeset | files |
Fri, 14 Jun 2019 08:34:27 +0000 | haftmann | removed relics of ASCII syntax for indexed big operators | changeset | files |