src/FOLP/hypsubst.ML
changeset 23709 fd31da8f752a
parent 3537 79ac9b475621
child 26830 7b7139f961bd
equal deleted inserted replaced
23708:b5eb0b4dd17d 23709:fd31da8f752a