src/HOL/Proofs.thy
changeset 53374 a14d2a854c02
parent 52488 cd65ee49a8ba