src/Provers/hypsubst.ML
changeset 9449 2f814053a6cc
parent 4466 305390f23734
child 9532 36b9bc6eb454