Fri, 11 Nov 1994 10:42:55 +0100 | lcp | Provers/hypsubst/REPEATN: deleted; using REPEAT_DETERM_N instead. | changeset | files |
Fri, 11 Nov 1994 10:41:09 +0100 | lcp | Pure/tctical/REPEAT_DETERM_N,REPEAT_DETERM1,REPEAT_DETERM_FIRST, | changeset | files |
Fri, 11 Nov 1994 10:33:05 +0100 | lcp | FOL/intprover/safe_tac: now uses REPEAT_DETERM_FIRST instead of REPEAT_DETERM | changeset | files |
Fri, 11 Nov 1994 10:31:51 +0100 | lcp | argument swaps in HOL | changeset | files |
Thu, 10 Nov 1994 11:36:40 +0100 | lcp | HOL,ZF/Makefile: enclosed multiple "use" calls in parentheses. This | changeset | files |
Thu, 10 Nov 1994 11:06:44 +0100 | lcp | updated pathnames | changeset | files |
Wed, 09 Nov 1994 15:47:11 +0100 | lcp | updated discussion of congruence rules in first section | changeset | files |