| Sat, 11 Jul 2020 18:09:08 +0000 | haftmann | more thms | changeset | files |
| Sat, 11 Jul 2020 18:19:08 +0200 | wenzelm | clarified message --- as in former ML version (see 940195fbb282); | changeset | files |
| Sat, 11 Jul 2020 17:15:28 +0200 | wenzelm | clarified signature; | changeset | files |