src/FOL/intprover.ML
1994-11-11 lcp 1994-11-11 FOL/intprover/safe_tac: now uses REPEAT_DETERM_FIRST instead of REPEAT_DETERM
1993-09-16 clasohm 1993-09-16 Initial revision