src/FOL/int-prover.ML
1993-09-16 ago Initial revision