src/Sequents/modal.ML
changeset 37715 44b27ea94a16
parent 32960 69916a850301
child 38500 d5477ee35820