src/Sequents/Modal0.thy
changeset 73876 58aed6f71f90
parent 69618 a96320074298
equal deleted inserted replaced
73875:0c8d6bec6491 73876:58aed6f71f90