src/FOL/simpdata.ML
changeset 12791 ccc0f45ad2c4
parent 12765 fb3f9887d0b7
child 12825 f1f7964ed05c