diff -r c0056c2c1d17 -r 42865636d006 etc/components
--- 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