| Fri, 11 Dec 1998 17:16:23 +0100 | oheimb | better representation of Sigma | file | diff | annotate |
| Mon, 19 Oct 1998 15:38:28 +0200 | oheimb | added keyword 'and' | file | diff | annotate |
| Tue, 08 Sep 1998 17:03:21 +0200 | oheimb | improved spacing | file | diff | annotate |
| Fri, 24 Apr 1998 16:15:34 +0200 | oheimb | added ASCII translation of subseteq | file | diff | annotate |