src/Sequents/simpdata.ML
changeset 37715 44b27ea94a16
parent 36546 a9873318fe30
child 38500 d5477ee35820
equal deleted inserted replaced
37714:2eb2b048057b 37715:44b27ea94a16