src/Sequents/Modal/S43thms.ML
changeset 11045 971a50fda146
parent 6252 935f183bf406