| Sun, 05 Dec 2021 16:46:50 +0100 | wenzelm | tuned signature: remove unused; | changeset | files |
| Sun, 05 Dec 2021 16:26:03 +0100 | wenzelm | prefer symbolic Latex.environment (typeset in Isabelle/Scala); | changeset | files |
| Sun, 05 Dec 2021 15:54:46 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 05 Dec 2021 12:50:36 +0100 | wenzelm | clarified corner cases of syntax; | changeset | files |
| Sun, 05 Dec 2021 12:23:10 +0100 | wenzelm | clarified Parse.embedded_ml: follow documentation (8baf2e8b16e2); | changeset | files |
| Sat, 04 Dec 2021 20:30:16 +0000 | paulson | a slightly simpler proof | changeset | files |
| Sat, 04 Dec 2021 17:23:42 +0100 | wenzelm | provide component naproche-2d99afe5c349; | changeset | files |