--- a/etc/components Thu Mar 11 11:22:25 2021 +0100 +++ b/etc/components Thu Mar 11 12:16:17 2021 +0100 @@ -7,5 +7,4 @@ src/HOL/Library/Sum_of_Squares src/HOL/SPARK src/HOL/Tools -src/HOL/Tools/ATP src/HOL/TPTP