1.1 --- a/etc/components Wed May 12 23:54:01 2010 +0200
1.2 +++ b/etc/components Wed May 12 23:54:02 2010 +0200
1.3 @@ -16,4 +16,4 @@
1.4 src/HOL/Tools/ATP_Manager
1.5 src/HOL/Mirabelle
1.6 src/HOL/Library/Sum_Of_Squares
1.7 -src/HOL/SMT
1.8 +src/HOL/Tools/SMT