changeset 52134 | 0eee7d72b107 |
child 55272 | 6e943f644cca |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/etc/components Wed Sep 25 13:52:54 2013 +0100 1.3 @@ -0,0 +1,12 @@ 1.4 +src/Tools/Code 1.5 +src/Tools/jEdit 1.6 +src/Tools/Graphview 1.7 +src/Tools/WWW_Find 1.8 +src/HOL/Mirabelle 1.9 +src/HOL/Mutabelle 1.10 +src/HOL/Library/Sum_of_Squares 1.11 +src/HOL/Tools/ATP 1.12 +src/HOL/Tools/Predicate_Compile 1.13 +src/HOL/Tools/Sledgehammer/MaSh 1.14 +src/HOL/Tools/SMT 1.15 +src/HOL/TPTP