src/Sequents/Modal0.thy
changeset 9697 c5fc121c2067
parent 7098 86583034aacf
child 14765 bafb24c150c1
equal deleted inserted replaced
9696:5c8acc0282c8 9697:c5fc121c2067