src/FOL/intprover.ML
1997-02-10 ago Renamed structure Int (intuitionistic prover) to IntPr to prevent clash
1997-01-31 ago ex_impE was incorrectly listed as Safe
1996-01-29 ago expanded tabs
1995-04-06 ago Updated comments.
1994-11-11 ago FOL/intprover/safe_tac: now uses REPEAT_DETERM_FIRST instead of REPEAT_DETERM
1993-09-16 ago Initial revision