src/Provers/typedsimp.ML
changeset 66787 64b47495676d
parent 59498 50b60f501b05
child 82805 61aae966dd95