| Tue, 20 Apr 1999 14:38:17 +0200 | paulson | IMPORTANT CHANGE: declares class "term". Previously LK (incorrectly) | file | diff | annotate |
| Fri, 10 Oct 1997 18:17:17 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Wed, 09 Oct 1996 13:32:33 +0200 | paulson | New unified treatment of sequent calculi by Sara Kalvala | file | diff | annotate |