1.1 --- a/etc/components Tue Sep 01 16:00:59 2009 +0200
1.2 +++ b/etc/components Tue Sep 01 16:39:05 2009 +0200
1.3 @@ -11,6 +11,7 @@
1.4 src/LCF
1.5 src/Sequents
1.6 #misc components
1.7 +src/Tools/Code
1.8 src/HOL/Tools/ATP_Manager
1.9 src/HOL/Tools/Mirabelle
1.10 src/HOL/Library/Sum_Of_Squares