src/Provers/typedsimp.ML
changeset 13157 4a4599f78f18
parent 0 a5a9c433f639
child 15570 8d8c70b41bab