--- 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