src/FOLP/hypsubst.ML
changeset 25456 6f79698f294d
parent 3537 79ac9b475621
child 26830 7b7139f961bd