src/Modal/s4.thy
changeset 5953 d6017ce6b93e
parent 132 b5704e45d2d2