1.1 --- a/src/HOL/ROOT	Wed Mar 18 14:14:07 2015 +0000
     1.2 +++ b/src/HOL/ROOT	Wed Mar 18 14:28:40 2015 +0000
     1.3 @@ -548,7 +548,7 @@
     1.4      NatSum
     1.5      ThreeDivides
     1.6      Cubic_Quartic
     1.7 -	Pythagoras
     1.8 +    Pythagoras
     1.9      Intuitionistic
    1.10      CTL
    1.11      Arith_Examples
    1.12 @@ -591,6 +591,7 @@
    1.13      SVC_Oracle
    1.14      Simps_Case_Conv_Examples
    1.15      ML
    1.16 +    Rewrite_Examples
    1.17      SAT_Examples
    1.18      SOS
    1.19      SOS_Cert