1995-08-18 ago clarified comment
1995-04-28 ago Recoded addSIs, etc., so that nets are built incrementally
1995-04-06 ago Added comment.
1995-03-30 ago Addition of wrappers for integration with the simplifier.
1994-11-25 ago deepen_tac: modified due to outcome of experiments. Its
1994-11-02 ago Provers/classical: now takes theorem "classical" as argument, proves "swap"
1994-07-12 ago chain_tac: deleted; just use etac mp
1993-10-15 ago classical/swap_res_tac: recoded to allow backtracking
1993-09-16 ago Initial revision