src/HOL/Tools/Nitpick/nitpick_tptp.ML
2012-01-23 blanchet 2012-01-23 rebranded Nitrox, for more uniformity