src/Provers/hypsubst.ML
changeset 9927 7a9652294fe0
parent 9893 93d2fde0306c
child 10821 dcb75538f542