--- a/src/HOL/ex/ROOT.ML Thu Sep 10 17:14:05 2009 +0200
+++ b/src/HOL/ex/ROOT.ML Fri Sep 11 09:04:51 2009 +0200
@@ -60,7 +60,7 @@
"BinEx",
"Sqrt",
"Sqrt_Script",
- "Transfer_ex",
+ "Transfer_Ex",
"Arithmetic_Series_Complex",
"HarmonicSeries",
"Refute_Examples",