| 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 |
| Fri, 04 Dec 2020 15:16:03 +0100 | nipkow | Total correctness examples by Walter Guttmann | file | diff | annotate |