Wed, 02 Nov 1994 12:48:22 +0100 | lcp | Provers/classical: now takes theorem "classical" as argument, proves "swap" | file | diff | annotate |
Tue, 12 Jul 1994 18:30:53 +0200 | lcp | chain_tac: deleted; just use etac mp | file | diff | annotate |
Fri, 15 Oct 1993 10:04:30 +0100 | lcp | classical/swap_res_tac: recoded to allow backtracking | file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |