src/Provers/classical.ML
Tue, 12 Jul 1994 18:30:53 +0200 lcp chain_tac: deleted; just use etac mp
Fri, 15 Oct 1993 10:04:30 +0100 lcp classical/swap_res_tac: recoded to allow backtracking
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip