changeset 35140 | 117247018b54 |
parent 33817 | f6a4da31f2f1 |
child 35947 | dc36cd801694 |
1.1 --- a/etc/components Tue Feb 16 15:16:33 2010 +0100 1.2 +++ b/etc/components Tue Feb 16 15:25:36 2010 +0100 1.3 @@ -13,6 +13,7 @@ 1.4 #misc components 1.5 src/Tools/Code 1.6 src/Tools/WWW_Find 1.7 +src/Tools/Cache_IO 1.8 src/HOL/Tools/ATP_Manager 1.9 src/HOL/Mirabelle 1.10 src/HOL/Library/Sum_Of_Squares