src/HOL/ROOT
changeset 59739 4ed50ebf5d36
parent 59667 651ea265d568
child 59743 d8fb00487c4d
     1.1 --- a/src/HOL/ROOT	Tue Mar 17 17:45:03 2015 +0000
     1.2 +++ b/src/HOL/ROOT	Wed Mar 18 13:51:33 2015 +0100
     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