etc/components
changeset 46318 8038d050ff15
parent 43284 04d473e883df
child 48790 6e739225dd8a
     1.1 --- a/etc/components	Mon Jan 23 17:29:19 2012 +0100
     1.2 +++ b/etc/components	Mon Jan 23 17:40:31 2012 +0100
     1.3 @@ -13,10 +13,10 @@
     1.4  src/Tools/Code
     1.5  src/Tools/jEdit
     1.6  src/Tools/WWW_Find
     1.7 +src/HOL/Mirabelle
     1.8 +src/HOL/Mutabelle
     1.9 +src/HOL/Library/Sum_of_Squares
    1.10  src/HOL/Tools/ATP
    1.11 -src/HOL/Mirabelle
    1.12 -src/HOL/Library/Sum_of_Squares
    1.13 +src/HOL/Tools/Predicate_Compile
    1.14  src/HOL/Tools/SMT
    1.15 -src/HOL/Tools/Predicate_Compile
    1.16 -src/HOL/Tools/Nitpick
    1.17 -src/HOL/Mutabelle
    1.18 +src/HOL/TPTP