src/FOLP/hypsubst.ML
changeset 73670 4121fc47432b
parent 69593 3dda49e08b9d