etc/components
changeset 59810 e749a0f2f401
parent 59480 61d6d5cbbcd3
child 64622 529bbb8977c7
     1.1 --- a/etc/components	Wed Mar 25 11:39:52 2015 +0100
     1.2 +++ b/etc/components	Wed Mar 25 13:31:47 2015 +0100
     1.3 @@ -4,6 +4,7 @@
     1.4  src/HOL/Mirabelle
     1.5  src/HOL/Mutabelle
     1.6  src/HOL/Library/Sum_of_Squares
     1.7 +src/HOL/SPARK
     1.8  src/HOL/Tools
     1.9  src/HOL/Tools/ATP
    1.10  src/HOL/TPTP