src/Provers/hypsubst.ML
changeset 58335 a5a3b576fcfb
parent 57509 cca0db87b653
child 58826 2ed2eaabe3df