1.1 --- a/etc/components	Tue Aug 04 16:13:16 2009 +0200
     1.2 +++ b/etc/components	Tue Aug 04 19:20:24 2009 +0200
     1.3 @@ -1,3 +1,4 @@
     1.4 +#main object logics
     1.5  src/Pure
     1.6  src/FOL
     1.7  src/HOL
     1.8 @@ -9,3 +10,6 @@
     1.9  src/HOLCF
    1.10  src/LCF
    1.11  src/Sequents
    1.12 +#misc components
    1.13 +src/HOL/Tools/ATP_Manager
    1.14 +