src/FOLP/hypsubst.ML
changeset 73647 a037f01aedab
parent 69593 3dda49e08b9d
equal deleted inserted replaced
73646:078ad17eb934 73647:a037f01aedab