1.1 --- a/src/HOL/ex/ROOT.ML	Thu Sep 10 17:14:05 2009 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri Sep 11 09:04:51 2009 +0200
     1.3 @@ -60,7 +60,7 @@
     1.4    "BinEx",
     1.5    "Sqrt",
     1.6    "Sqrt_Script",
     1.7 -  "Transfer_ex",
     1.8 +  "Transfer_Ex",
     1.9    "Arithmetic_Series_Complex",
    1.10    "HarmonicSeries",
    1.11    "Refute_Examples",