src/Sequents/ILL_predlog.thy
changeset 73852 adb34395b622
parent 61386 0a29a984a91b
equal deleted inserted replaced
73851:bb277f37c34a 73852:adb34395b622