src/Sequents/modal.ML
changeset 21687 f689f729afab
parent 7096 8c9278991d9c
child 24584 01e83ffa6c54