1.1 --- a/src/HOL/ex/ROOT.ML	Fri Dec 07 09:42:20 2007 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri Dec 07 10:59:03 2007 +0100
     1.3 @@ -24,6 +24,7 @@
     1.4    "Binary",
     1.5    "Recdefs",
     1.6    "Fundefs",
     1.7 +  "Induction_Scheme",
     1.8    "InductiveInvariant_examples",
     1.9    "Locales",
    1.10    "LocaleTest2",