Mon, 08 Jun 2020 21:56:06 +0200 | wenzelm | NEWS; | changeset | files |
Mon, 08 Jun 2020 21:55:14 +0200 | wenzelm | clarified sessions; | changeset | files |
Mon, 08 Jun 2020 21:38:41 +0200 | wenzelm | clarified sessions: "Notable Examples in Isabelle/HOL"; | changeset | files |