src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML
changeset 47884 21c42b095c84
parent 47729 44d1f4e0a46e
child 48829 6ed588c4f963