src/Sequents/Modal0.thy
changeset 73876 58aed6f71f90
parent 69618 a96320074298