src/HOL/TPTP/TPTP_Proof_Reconstruction.thy
changeset 57618 d762318438c3
parent 56252 b72e0a9d62b9
child 57773 2719eb9d40fe
equal deleted inserted replaced
57617:335750d989a3 57618:d762318438c3