Mon, 08 Jun 2020 21:38:41 +0200 | wenzelm | clarified sessions: "Notable Examples in Isabelle/HOL"; | changeset | files |
Mon, 08 Jun 2020 15:09:57 +0200 | wenzelm | clarified sessions: "Notable Examples in Isabelle/Pure"; | changeset | files |
Sat, 06 Jun 2020 10:58:13 +0200 | haftmann | NEWS | changeset | files |