src/HOL/TPTP/lib/Tools/nitrox
2012-01-23 blanchet 2012-01-23 moved "nitrox" to TPTP