| Tue, 12 Mar 2013 22:22:05 +0100 | wenzelm | removed odd cvs artifacts; | file | diff | annotate |
| Tue, 04 Oct 2005 10:52:43 +0200 | haftmann | fixed broken mailto: link | file | diff | annotate |
| Mon, 07 Mar 2005 19:17:07 +0100 | webertj | HTML 4.01 Transitional conformity | file | diff | annotate |
| Sun, 14 Nov 2004 01:40:27 +0100 | webertj | DOCTYPE declaration added | file | diff | annotate |
| Mon, 18 Oct 1999 18:38:21 +0200 | wenzelm | update by Stephan Merz; | file | diff | annotate |
| Mon, 08 Feb 1999 13:02:56 +0100 | wenzelm | updated (Stephan Merz); | file | diff | annotate |
| Thu, 27 Aug 1998 11:50:18 +0200 | wenzelm | weblinted, tuned; | file | diff | annotate |
| Mon, 13 Oct 1997 11:00:06 +0200 | merz | Absolute URL's for documentation | file | diff | annotate |
| Wed, 08 Oct 1997 11:50:33 +0200 | wenzelm | A formalization of TLA in HOL -- by Stephan Merz; | file | diff | annotate |