src/Modal/s4.thy
changeset 4932 c90411dde8e8
parent 132 b5704e45d2d2