1.1 --- a/src/HOL/ex/ROOT.ML	Fri Nov 06 13:49:19 2009 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri Nov 06 14:42:42 2009 +0100
     1.3 @@ -24,7 +24,7 @@
     1.4    "Binary",
     1.5    "Recdefs",
     1.6    "Fundefs",
     1.7 -  "Induction_Scheme",
     1.8 +  "Induction_Schema",
     1.9    "InductiveInvariant_examples",
    1.10    "LocaleTest2",
    1.11    "Records",