src/HOL/TPTP/TPTP_Parser.thy
changeset 62337 d3996d5873dd
parent 48891 c0eafbd55de3
child 62390 842917225d56