--- a/etc/components Wed Mar 25 11:39:52 2015 +0100 +++ b/etc/components Wed Mar 25 13:31:47 2015 +0100 @@ -4,6 +4,7 @@ src/HOL/Mirabelle src/HOL/Mutabelle src/HOL/Library/Sum_of_Squares +src/HOL/SPARK src/HOL/Tools src/HOL/Tools/ATP src/HOL/TPTP