| Thu, 09 Dec 2021 08:32:29 +0100 | nipkow | Rewrite: added links to docu, made more prominent | changeset | files |
| Mon, 06 Dec 2021 15:34:54 +0100 | wenzelm | discontinued old-style {* verbatim *} tokens; | changeset | files |
| Mon, 06 Dec 2021 15:10:15 +0100 | wenzelm | tuned proof; | changeset | files |
| Mon, 06 Dec 2021 12:39:59 +0100 | wenzelm | isabelle update_cartouches; | changeset | files |