src/HOL/TPTP/TPTP_Parser/tptp_proof.ML
changeset 70299 83774d669b51
parent 55589 8e6b2ad9cfe0