src/HOL/TPTP/TPTP_Parser_Example.thy
changeset 66787 64b47495676d
parent 63167 0909deb8059b
child 73684 a63d76ba0a03