| Sat, 24 Nov 2018 15:03:42 +0100 | wenzelm | clarified module name (again); | changeset | files |
| Fri, 23 Nov 2018 22:55:08 +0100 | wenzelm | clarified file name; | changeset | files |
| Fri, 23 Nov 2018 22:05:14 +0100 | wenzelm | added Isabelle tool wrapper; | changeset | files |