src/Modal/s4.thy
changeset 4637 bac998af6ea2
parent 132 b5704e45d2d2
equal deleted inserted replaced
4636:f6b89d9b0076 4637:bac998af6ea2