src/Provers/typedsimp.ML
changeset 72688 8cb82e7f1743
parent 59498 50b60f501b05