src/HOL/TPTP/TPTP_Proof_Reconstruction.thy
changeset 65578 e4997c181cce
parent 63167 0909deb8059b
child 67399 eab6ce8368fa