src/FOL/hypsubstdata.ML
changeset 25456 6f79698f294d
parent 21539 c5cf9243ad62
child 27572 67cd6ed76446