src/FOL/simpdata.ML
changeset 23346 1517207ec8b9
parent 22822 c1a6a2159e69
child 26288 89b9f7c18631
equal deleted inserted replaced
23345:b8139ba0c940 23346:1517207ec8b9