src/FOLP/intprover.ML
changeset 38548 dea0d2cca822
parent 35762 af3ff2ba4c54
child 52457 c3b4b74a54fd
equal deleted inserted replaced
38547:973506fe2dbd 38548:dea0d2cca822