src/HOL/Isar_Examples/Peirce.thy
changeset 66787 64b47495676d
parent 63585 f4a308fdf664