src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Mar 17 17:45:03 2015 +0000
+++ b/src/HOL/ROOT	Wed Mar 18 13:51:33 2015 +0100
@@ -548,7 +548,7 @@
     NatSum
     ThreeDivides
     Cubic_Quartic
-	Pythagoras
+    Pythagoras
     Intuitionistic
     CTL
     Arith_Examples
@@ -591,6 +591,7 @@
     SVC_Oracle
     Simps_Case_Conv_Examples
     ML
+    Rewrite_Examples
     SAT_Examples
     SOS
     SOS_Cert