src/HOL/TPTP/lib/Tools/tptp_translate
2012-01-23 blanchet 2012-01-23 renamed two files to make room for a new file
2012-01-23 blanchet 2012-01-23 rebranded Nitrox, for more uniformity