| Tue, 01 Jun 2004 12:33:50 +0200 | wenzelm | removed obsolete sort 'logic'; | file | diff | annotate |
| Fri, 21 May 2004 21:18:35 +0200 | wenzelm | adapted syntax to cope with lack of non-logical types; | file | diff | annotate |
| Fri, 09 Nov 2001 00:00:53 +0100 | wenzelm | eliminated old "symbols" syntax, use "xsymbols" instead; | file | diff | annotate |
| Wed, 21 Jan 1998 15:50:25 +0100 | wenzelm | added symbols syntax; | file | diff | annotate |
| Tue, 20 Jan 1998 18:26:26 +0100 | wenzelm | reorganized into individual theories; | file | diff | annotate |