Mon, 28 Dec 2020 17:52:26 +0100 | nipkow | added lemma | changeset | files |
Sun, 27 Dec 2020 17:53:08 +0100 | wenzelm | tuned whitespace; | changeset | files |
Sun, 27 Dec 2020 15:55:42 +0100 | wenzelm | Added tag Isabelle2021-RC1 for changeset d4b67dc6f4eb | changeset | files |