src/FOLP/hypsubst.ML
changeset 10567 e7c9900cca4d
parent 3537 79ac9b475621
child 26830 7b7139f961bd