added "nitrox" tool (Nitpick for first-order TPTP problems) to components
authorblanchet
Thu Mar 24 17:49:27 2011 +0100 (2011-03-24)
changeset 42105bba85afcfedf
parent 42104 22e37d9bc21c
child 42106 ed1d40888b1b
added "nitrox" tool (Nitpick for first-order TPTP problems) to components
etc/components
     1.1 --- a/etc/components	Thu Mar 24 17:49:27 2011 +0100
     1.2 +++ b/etc/components	Thu Mar 24 17:49:27 2011 +0100
     1.3 @@ -17,4 +17,5 @@
     1.4  src/HOL/Library/Sum_of_Squares
     1.5  src/HOL/Tools/SMT
     1.6  src/HOL/Tools/Predicate_Compile
     1.7 +src/HOL/Tools/Nitpick
     1.8  src/HOL/Mutabelle