1.1 --- a/src/HOL/ROOT	Sat Dec 27 20:32:06 2014 +0100
     1.2 +++ b/src/HOL/ROOT	Sun Dec 28 15:42:34 2014 +1100
     1.3 @@ -559,6 +559,8 @@
     1.4      PER
     1.5      NatSum
     1.6      ThreeDivides
     1.7 +    Cubic_Quartic
     1.8 +	Pythagoras
     1.9      Intuitionistic
    1.10      CTL
    1.11      Arith_Examples