src/FOL/hypsubstdata.ML
changeset 24854 0ebcd575d3c6
parent 21539 c5cf9243ad62
child 27572 67cd6ed76446