| Thu, 13 Sep 2018 15:15:50 +0200 | nipkow | merged | changeset | files |
| Thu, 13 Sep 2018 13:09:03 +0200 | nipkow | more simp lemmas | changeset | files |
| Thu, 13 Sep 2018 11:41:39 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 13 Sep 2018 11:24:24 +0200 | wenzelm | tuned message; | changeset | files |
| Thu, 13 Sep 2018 08:36:51 +0200 | nipkow | prefer explicit | changeset | files |
| Thu, 13 Sep 2018 06:37:41 +0200 | nipkow | merged | changeset | files |
| Thu, 13 Sep 2018 06:36:00 +0200 | nipkow | typo | changeset | files |