| Tue, 21 Sep 2021 00:20:47 +0200 | wenzelm | bundle lattice_syntax / no_lattice_syntax supersedes theory HOL-Library.Lattice_Syntax; | file | diff | annotate |
| Mon, 08 Jun 2020 21:38:41 +0200 | wenzelm | clarified sessions: "Notable Examples in Isabelle/HOL"; | file | diff | annotate |