Wed, 05 Jan 2022 10:56:41 +0100 | desharna | removed $ite from E 2.6 in THF format | changeset | files |
Wed, 05 Jan 2022 15:35:23 +0000 | paulson | New and simplified theorems | changeset | files |
Mon, 03 Jan 2022 13:29:05 +0100 | desharna | merged | changeset | files |