| Wed, 08 Jun 2022 09:12:51 +0200 | nipkow | removed non-standard spaces in output | file | diff | annotate |
| Fri, 04 Feb 2022 10:48:49 +0100 | nipkow | tuned output syntax: Hoare triples are now blocks | file | diff | annotate |
| Thu, 03 Feb 2022 10:33:55 +0100 | nipkow | tuned output syntax: INV and VAR are now blocks | file | diff | annotate |
| Tue, 12 Oct 2021 20:57:43 +0200 | nipkow | separated commands from annotations to be able to abstract about the latter only | file | diff | annotate |
| Wed, 23 Dec 2020 22:25:22 +0100 | wenzelm | tuned document, notably authors and sections; | file | diff | annotate |
| Wed, 23 Dec 2020 21:06:31 +0100 | wenzelm | clarified modules: avoid multiple uses of the same ML file; | file | diff | annotate |