changeset 46318 | 8038d050ff15 |
parent 43284 | 04d473e883df |
child 48790 | 6e739225dd8a |
--- a/etc/components Mon Jan 23 17:29:19 2012 +0100 +++ b/etc/components Mon Jan 23 17:40:31 2012 +0100 @@ -13,10 +13,10 @@ src/Tools/Code src/Tools/jEdit src/Tools/WWW_Find +src/HOL/Mirabelle +src/HOL/Mutabelle +src/HOL/Library/Sum_of_Squares src/HOL/Tools/ATP -src/HOL/Mirabelle -src/HOL/Library/Sum_of_Squares +src/HOL/Tools/Predicate_Compile src/HOL/Tools/SMT -src/HOL/Tools/Predicate_Compile -src/HOL/Tools/Nitpick -src/HOL/Mutabelle +src/HOL/TPTP