2006-01-19 ago setup: theory -> theory;
2005-06-17 ago accomodate change of TheoryDataFun;
2002-05-07 ago use eq_thm_prop instead of slightly inadequate eq_thm;
2001-11-28 ago theory data: removed obsolete finish method;
2001-11-09 ago theory data: finish method;
1999-08-02 ago cat_lines;
1999-07-28 ago renamed ...thm_pack... to ...pack...
1999-07-27 ago moved the modal prover to modal.ML; installed the prover using TheoryDataFun
1998-12-28 ago added new arg for print_tac
1997-12-19 ago adapted to new sort function;
1997-10-20 ago adapted to qualified names;
1997-07-22 ago Removal of the tactical STATE
1996-10-09 ago New unified treatment of sequent calculi by Sara Kalvala