| Mon, 04 May 1998 13:48:47 +0200 | wenzelm | fixed constdefs syntax; | file | diff | annotate |
| Fri, 09 Jan 1998 13:49:20 +0100 | wenzelm | several minor updates; | file | diff | annotate |
| Thu, 27 Nov 1997 19:39:02 +0100 | wenzelm | several minor updates; | file | diff | annotate |
| Fri, 16 May 1997 15:54:04 +0200 | wenzelm | fixed infix syntax; | file | diff | annotate |
| Wed, 07 May 1997 16:40:00 +0200 | wenzelm | fixed witness syntax; | file | diff | annotate |
| Tue, 06 May 1997 12:50:16 +0200 | wenzelm | misc updates, tuning, cleanup; | file | diff | annotate |