author | blanchet |
Wed, 28 Jul 2010 19:07:34 +0200 | |
changeset 38294 | 9eda375ec19d |
parent 38293 | 9033c03cc214 |
child 38295 | 327705ac4759 |
etc/components | file | annotate | diff | comparison | revisions |
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