src/HOL/Isar_Examples/Basic_Logic.thy
changeset 51526 155263089e7b
parent 37671 fa53d267dab3
child 55640 abc140f21caa