1999-07-28 paulson 1999-07-28 renamed ...thm_pack... to ...pack...
1999-07-27 paulson 1999-07-27 moved the modal prover to modal.ML; installed the prover using TheoryDataFun
1998-12-28 paulson 1998-12-28 added new arg for print_tac
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-10-20 wenzelm 1997-10-20 adapted to qualified names;
1997-07-22 paulson 1997-07-22 Removal of the tactical STATE
1996-10-09 paulson 1996-10-09 New unified treatment of sequent calculi by Sara Kalvala combines the old LK and Modal with the new ILL (Int. Linear Logic)