src/HOL/Isar_Examples/Peirce.thy
changeset 58306 117ba6cbe414
parent 55640 abc140f21caa
child 58614 7338eb25226c