| Sun, 18 Sep 2005 15:20:08 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| 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 |