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