src/HOL/TPTP/TPTP_Parser_Test.thy
changeset 55642 63beb38e9258
parent 55595 2e2e9bc7c4c6
child 62390 842917225d56