src/HOL/ROOT

--- a/src/HOL/ROOT	Sat Dec 27 20:32:06 2014 +0100
+++ b/src/HOL/ROOT	Sun Dec 28 15:42:34 2014 +1100
@@ -559,6 +559,8 @@
     PER
     NatSum
     ThreeDivides
+    Cubic_Quartic
+	Pythagoras
     Intuitionistic
     CTL
     Arith_Examples