| Wed, 28 Jul 1999 13:55:02 +0200 | paulson | renamed ...thm_pack... to ...pack... | file | diff | annotate |
| Tue, 27 Jul 1999 19:01:46 +0200 | paulson | moved the modal prover to modal.ML; installed the prover using TheoryDataFun | file | diff | annotate |
| 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 |