Fri, 11 Nov 1994 10:42:55 +0100 | lcp | Provers/hypsubst/REPEATN: deleted; using REPEAT_DETERM_N instead. | file | diff | annotate |
Wed, 02 Nov 1994 12:44:03 +0100 | lcp | Provers/hypsubst: greatly simplified! No longer simulates a | file | diff | annotate |
Wed, 19 Oct 1994 09:48:13 +0100 | lcp | new comments explaining abandoned change | file | diff | annotate |
Tue, 18 Jan 1994 16:37:12 +0100 | lcp | Updated refs to old Sign functions | file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |