Fri, 29 Nov 2019 21:29:18 +0100 | nipkow | tuned | changeset | files |
Fri, 29 Nov 2019 17:43:00 +0100 | nipkow | reduced imports; deleted unusewd minor lemmas for that purpose | changeset | files |
Fri, 29 Nov 2019 15:06:04 +0100 | nipkow | tuned | changeset | files |
Fri, 29 Nov 2019 11:04:47 +0100 | nipkow | reduced imports and removed unused material | changeset | files |
Thu, 28 Nov 2019 23:06:22 +0100 | nipkow | tuned | changeset | files |
Thu, 28 Nov 2019 20:38:07 +0100 | nipkow | merged | changeset | files |