src/FOLP/intprover.ML
changeset 37155 e3f18cfc9829
parent 35762 af3ff2ba4c54
child 52457 c3b4b74a54fd
equal deleted inserted replaced
37154:f6ae8db23352 37155:e3f18cfc9829