| Wed, 23 Dec 2020 22:25:22 +0100 | wenzelm | tuned document, notably authors and sections; | changeset | files |
| Wed, 23 Dec 2020 21:32:24 +0100 | wenzelm | clarified presentation of files for each theory; | changeset | files |
| Wed, 23 Dec 2020 21:15:21 +0100 | wenzelm | disable auto_nitpick for now: spurious problems with non-termination e.g. in HOL-Hoare examples; | changeset | files |
| Wed, 23 Dec 2020 21:06:31 +0100 | wenzelm | clarified modules: avoid multiple uses of the same ML file; | changeset | files |
| Wed, 23 Dec 2020 20:49:05 +0100 | wenzelm | clarified session: avoid merge of different syntax from different Hoare logics; | changeset | files |
| Wed, 23 Dec 2020 17:16:05 +0100 | wenzelm | clarified modules: avoid multiple uses of the same ML file; | changeset | files |