| Fri, 18 Sep 2020 12:33:10 +0200 | nipkow | tuned | changeset | files |
| Fri, 18 Sep 2020 08:02:19 +0100 | paulson | removal of needless premises | changeset | files |
| Thu, 17 Sep 2020 18:48:37 +0100 | paulson | merged | changeset | files |
| Thu, 17 Sep 2020 18:48:06 +0100 | paulson | de-applying | changeset | files |
| Thu, 17 Sep 2020 14:27:56 +0200 | haftmann | dropped junk | changeset | files |
| Thu, 17 Sep 2020 13:55:21 +0200 | haftmann | typo | changeset | files |
| Thu, 17 Sep 2020 12:06:38 +0200 | haftmann | NEWS and CONTRIBUTORS | changeset | files |
| Thu, 17 Sep 2020 09:57:31 +0000 | haftmann | integrated generic conversions into word corpse | changeset | files |
| Thu, 17 Sep 2020 09:57:30 +0000 | haftmann | more lemmas | changeset | files |
| Tue, 15 Sep 2020 08:57:47 +0200 | nipkow | added lemma | changeset | files |
| Sun, 13 Sep 2020 16:11:05 +0100 | paulson | de-applying | changeset | files |
| Fri, 11 Sep 2020 18:55:31 +0100 | paulson | merged | changeset | files |
| Fri, 11 Sep 2020 14:15:14 +0100 | paulson | merged | changeset | files |
| Fri, 11 Sep 2020 14:14:58 +0100 | paulson | cleaned up some messy proofs | changeset | files |
| Fri, 11 Sep 2020 14:04:16 +0200 | wenzelm | prefer current mathpartir.sty from underlying TeX distribution; | changeset | files |