src/Provers/hypsubst.ML
changeset 5897 b3548f939dd2
parent 4466 305390f23734
child 9532 36b9bc6eb454
equal deleted inserted replaced
5896:4a75d89e2818 5897:b3548f939dd2