Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
Mon, 28 Sep 2020 16:43:49 +0200 | wenzelm | more standard and more robust, following hints on the Net; | file | diff | annotate |
Mon, 08 Jun 2020 22:49:06 +0200 | wenzelm | tuned document; | file | diff | annotate |
Mon, 08 Jun 2020 21:38:41 +0200 | wenzelm | clarified sessions: "Notable Examples in Isabelle/HOL"; | file | diff | annotate |