src/Provers/hypsubst.ML
changeset 5897 b3548f939dd2
parent 4466 305390f23734
child 9532 36b9bc6eb454