| Wed, 17 Mar 2021 22:24:57 +0100 | wenzelm | more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster; | changeset | files |
| Tue, 16 Mar 2021 23:30:51 +0100 | wenzelm | tuned message; | changeset | files |
| Tue, 16 Mar 2021 22:13:04 +0100 | wenzelm | proper directory of settings file; | changeset | files |
| Tue, 16 Mar 2021 08:42:21 +0100 | nipkow | tuned lemma | changeset | files |
| Mon, 15 Mar 2021 22:58:20 +0100 | nipkow | added lemma | changeset | files |
| Mon, 15 Mar 2021 11:50:58 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 15 Mar 2021 11:43:56 +0100 | wenzelm | tuned signature (again); | changeset | files |