1.1 --- a/src/HOL/ex/ROOT.ML	Fri Oct 30 01:32:06 2009 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri Oct 30 13:59:49 2009 +0100
     1.3 @@ -45,8 +45,6 @@
     1.4    "Groebner_Examples",
     1.5    "MT",
     1.6    "Unification",
     1.7 -  "Commutative_RingEx",
     1.8 -  "Commutative_Ring_Complete",
     1.9    "Primrec",
    1.10    "Tarski",
    1.11    "Adder",