src/HOL/ex/ROOT.ML

--- a/src/HOL/ex/ROOT.ML	Fri Dec 07 09:42:20 2007 +0100
+++ b/src/HOL/ex/ROOT.ML	Fri Dec 07 10:59:03 2007 +0100
@@ -24,6 +24,7 @@
   "Binary",
   "Recdefs",
   "Fundefs",
+  "Induction_Scheme",
   "InductiveInvariant_examples",
   "Locales",
   "LocaleTest2",