src/HOL/TPTP/TPTP_Proof_Reconstruction_Test_Units.thy
changeset 78659 b5f3d1051b13
parent 69989 bcba61d92558