| Tue, 05 Oct 1999 15:31:39 +0200 | wenzelm | updated; | file | diff | annotate |
| Mon, 06 Sep 1999 12:49:39 +0200 | wenzelm | added README; | file | diff | annotate |
| Fri, 21 Nov 1997 15:35:37 +0100 | wenzelm | comment; | file | diff | annotate |
| Thu, 08 Sep 1994 13:17:57 +0200 | lcp | documentation on theories | file | diff | annotate |