Fri, 11 Nov 1994 10:33:05 +0100 FOL/intprover/safe_tac: now uses REPEAT_DETERM_FIRST instead of REPEAT_DETERM
lcp [Fri, 11 Nov 1994 10:33:05 +0100] rev 702
FOL/intprover/safe_tac: now uses REPEAT_DETERM_FIRST instead of REPEAT_DETERM
Fri, 11 Nov 1994 10:31:51 +0100 argument swaps in HOL
lcp [Fri, 11 Nov 1994 10:31:51 +0100] rev 701
argument swaps in HOL
Thu, 10 Nov 1994 11:36:40 +0100 HOL,ZF/Makefile: enclosed multiple "use" calls in parentheses. This
lcp [Thu, 10 Nov 1994 11:36:40 +0100] rev 700
HOL,ZF/Makefile: enclosed multiple "use" calls in parentheses. This ensures that if one dies, all die. BUT NOT Pure/Makefile, where PolyML.use"POLY" makes the identifier "use" visible.
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip