| Fri, 03 Jul 2020 17:00:41 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 03 Jul 2020 16:48:57 +0200 | wenzelm | clarified log message (more uniform); | changeset | files |
| Fri, 03 Jul 2020 06:18:29 +0000 | haftmann | misc lemma tuning | changeset | files |