changeset 33817 | f6a4da31f2f1 |
parent 32618 | 42865636d006 |
child 35140 | 117247018b54 |
1.1 --- a/etc/components Fri Nov 20 10:40:30 2009 +0100 1.2 +++ b/etc/components Fri Nov 20 18:36:44 2009 +1100 1.3 @@ -12,6 +12,7 @@ 1.4 src/Sequents 1.5 #misc components 1.6 src/Tools/Code 1.7 +src/Tools/WWW_Find 1.8 src/HOL/Tools/ATP_Manager 1.9 src/HOL/Mirabelle 1.10 src/HOL/Library/Sum_Of_Squares