src/HOL/Proofs.thy
changeset 54290 fee1276d47f7
parent 52488 cd65ee49a8ba