diff -r 80dccedd6c14 -r 8038d050ff15 etc/components
--- a/etc/components	Mon Jan 23 17:29:19 2012 +0100
+++ b/etc/components	Mon Jan 23 17:40:31 2012 +0100
@@ -13,10 +13,10 @@
 src/Tools/Code
 src/Tools/jEdit
 src/Tools/WWW_Find
+src/HOL/Mirabelle
+src/HOL/Mutabelle
+src/HOL/Library/Sum_of_Squares
 src/HOL/Tools/ATP
-src/HOL/Mirabelle
-src/HOL/Library/Sum_of_Squares
+src/HOL/Tools/Predicate_Compile
 src/HOL/Tools/SMT
-src/HOL/Tools/Predicate_Compile
-src/HOL/Tools/Nitpick
-src/HOL/Mutabelle
+src/HOL/TPTP