src/HOL/TPTP/ATP_Theory_Export.thy
changeset 62337 d3996d5873dd
parent 61323 99b3a17a7eab
child 63167 0909deb8059b