| Fri, 18 Aug 1995 15:20:02 +0200 | paulson | clarified comment | file | diff | annotate |
| Fri, 28 Apr 1995 10:57:40 +0200 | lcp | Recoded addSIs, etc., so that nets are built incrementally | file | diff | annotate |
| Thu, 06 Apr 1995 11:55:51 +0200 | lcp | Added comment. | file | diff | annotate |
| Thu, 30 Mar 1995 13:44:34 +0200 | lcp | Addition of wrappers for integration with the simplifier. | file | diff | annotate |
| Fri, 25 Nov 1994 10:43:50 +0100 | lcp | deepen_tac: modified due to outcome of experiments. Its | file | diff | annotate |
| 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 |