src/HOL/TPTP/lib/Tools/tptp_isabelle
2012-01-23 blanchet 2012-01-23 rebranded Nitrox, for more uniformity