src/HOL/Proofs.thy
changeset 58646 cd63a4b12a33
parent 52488 cd65ee49a8ba