src/FOL/intprover.ML
changeset 9230 17ae63f82ad8
parent 5203 eb5a1511a07d
child 15570 8d8c70b41bab