src/Sequents/Modal0.thy
changeset 41648 6d736d983d5c
parent 35113 1a0c129bb2e0
child 48891 c0eafbd55de3