| Fri, 18 Oct 2024 19:00:51 +0200 | wenzelm | tuned comments; | changeset | files |
| Fri, 18 Oct 2024 19:00:13 +0200 | wenzelm | obsolete (see 137ea3d464be); | changeset | files |
| Fri, 18 Oct 2024 16:43:02 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 18 Oct 2024 16:42:53 +0200 | wenzelm | tuned whitespace; | changeset | files |