src/Sequents/modal.ML
changeset 20157 28638d2a6bc7
parent 7096 8c9278991d9c
child 24584 01e83ffa6c54