diff -r 1441ca50f047 -r d8fb00487c4d src/HOL/ROOT
--- a/src/HOL/ROOT	Wed Mar 18 14:14:07 2015 +0000
+++ b/src/HOL/ROOT	Wed Mar 18 14:28:40 2015 +0000
@@ -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