| Tue, 03 Oct 2000 22:39:49 +0200 | wenzelm | Hoare logic in Isar; | file | diff | annotate |
| Tue, 07 Dec 1999 12:13:09 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 29 Oct 1999 19:24:20 +0200 | wenzelm | workaround bug (feature?) in bibtex; | file | diff | annotate |
| Thu, 28 Oct 1999 19:57:34 +0200 | wenzelm | improved presentation; | file | diff | annotate |
| Sat, 09 Oct 1999 23:17:47 +0200 | wenzelm | bib; | file | diff | annotate |