| Mon, 28 Dec 1998 17:03:47 +0100 | paulson | added new arg for print_tac | file | diff | annotate |
| Fri, 19 Dec 1997 10:13:47 +0100 | wenzelm | adapted to new sort function; | file | diff | annotate |
| Mon, 20 Oct 1997 11:39:29 +0200 | wenzelm | adapted to qualified names; | file | diff | annotate |
| Tue, 22 Jul 1997 11:14:18 +0200 | paulson | Removal of the tactical STATE | file | diff | annotate |
| Wed, 09 Oct 1996 13:32:33 +0200 | paulson | New unified treatment of sequent calculi by Sara Kalvala | file | diff | annotate |