src/HOL/TPTP/ATP_Problem_Import.thy
changeset 63915 bab633745c7f
parent 63167 0909deb8059b
child 64561 a7664ca9ffc5