src/Sequents/LK.ML
changeset 5052 bbe3584b515b
parent 3839 56544d061e1d