Thu, 28 Nov 2019 18:40:39 +0100 | nipkow | reduced imports | changeset | files |
Thu, 28 Nov 2019 16:43:02 +0000 | paulson | Fixed a few messy proofs and adjusted inconsistent section headings | changeset | files |
Thu, 28 Nov 2019 15:51:54 +0000 | paulson | A more informative comment | changeset | files |