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