src/Sequents/simpdata.ML
changeset 37715 44b27ea94a16
parent 36546 a9873318fe30
child 38500 d5477ee35820