1997-11-07 ago added split_prem_tac
1997-10-17 ago Added error messages.
1997-10-10 ago fixed dots;
1997-07-22 ago Removal of the tactical STATE
1996-11-28 ago Replaced map...~~ by
1996-11-01 ago Replaced min by Int.min
1996-05-06 ago Rewrote mk_cntxt_splitthm. Added function mk_case_split_inside_tac.
1996-04-25 ago Added functions mk_cntxt_splitthm and inst_split which instantiate
1995-04-16 ago Fixed bug.
1995-04-13 ago Completely rewrote split_tac. The old one failed in strange circumstances.
1995-03-08 ago Replaced read by read_cterm.
1995-03-03 ago replaced Pure by ProtoPure
1994-01-18 ago Updated refs to old Sign functions
1993-09-16 ago added header
1993-09-16 ago Initial revision