# HG changeset patch
# User blanchet
# Date 1300985367 -3600
# Node ID bba85afcfedf662a4882678c372a133565186e36
# Parent  22e37d9bc21c4b78d1db503752908a9559c1d221
added "nitrox" tool (Nitpick for first-order TPTP problems) to components

diff -r 22e37d9bc21c -r bba85afcfedf etc/components
--- a/etc/components	Thu Mar 24 17:49:27 2011 +0100
+++ b/etc/components	Thu Mar 24 17:49:27 2011 +0100
@@ -17,4 +17,5 @@
 src/HOL/Library/Sum_of_Squares
 src/HOL/Tools/SMT
 src/HOL/Tools/Predicate_Compile
+src/HOL/Tools/Nitpick
 src/HOL/Mutabelle