# HG changeset patch
# User haftmann
# Date 1252652691 -7200
# Node ID c83dab2c598885590fad1cec796c29f6d6bc6b54
# Parent  6b5d478114f0aa569a5fa0c41f2ba763d671a51f
corrected upper/lowercase

diff -r 6b5d478114f0 -r c83dab2c5988 src/HOL/ex/ROOT.ML
--- 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",