src/HOL/TPTP/lib/Tools/tptp_isabelle
changeset 62337 d3996d5873dd
parent 60546 dcb0b9b42fcb
child 62573 27f90319a499