Thu, 11 Jun 2020 14:18:34 +0200 | wenzelm | tuned whitespace; | 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 |