changeset 38294 | 9eda375ec19d |
parent 36890 | 8e55aa1306c5 |
child 39702 | 3a86194d1534 |
1.1 --- a/etc/components Wed Jul 28 19:04:59 2010 +0200 1.2 +++ b/etc/components Wed Jul 28 19:07:34 2010 +0200 1.3 @@ -13,7 +13,7 @@ 1.4 #misc components 1.5 src/Tools/Code 1.6 src/Tools/WWW_Find 1.7 -src/HOL/Tools/ATP_Manager 1.8 +src/HOL/Tools/ATP 1.9 src/HOL/Mirabelle 1.10 src/HOL/Library/Sum_Of_Squares 1.11 src/HOL/Tools/SMT