--- a/etc/components Fri Sep 18 14:40:24 2009 +0200 +++ b/etc/components Fri Sep 18 18:13:19 2009 +0200 @@ -15,3 +15,4 @@ src/HOL/Tools/ATP_Manager src/HOL/Mirabelle src/HOL/Library/Sum_Of_Squares +src/HOL/SMT