| Thu, 06 Jul 2000 11:24:09 +0200 | paulson | removal of batch style, and tidying | file | diff | annotate |
| Tue, 20 Apr 1999 14:32:48 +0200 | paulson | tidied | file | diff | annotate |
| Wed, 09 Oct 1996 13:32:33 +0200 | paulson | New unified treatment of sequent calculi by Sara Kalvala | file | diff | annotate |