changeset 35947 | dc36cd801694 |
parent 35140 | 117247018b54 |
child 36890 | 8e55aa1306c5 |
1.1 --- a/etc/components Wed Mar 24 14:08:07 2010 +0100 1.2 +++ b/etc/components Wed Mar 24 15:21:42 2010 +0100 1.3 @@ -13,7 +13,6 @@ 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