src/Provers/typedsimp.ML
changeset 72688 8cb82e7f1743
parent 59498 50b60f501b05
equal deleted inserted replaced
72687:8e5428ff35af 72688:8cb82e7f1743