1.1 --- a/src/HOL/ex/ROOT.ML	Fri Jul 09 17:00:42 2010 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri Jul 09 17:15:03 2010 +0200
     1.3 @@ -23,6 +23,7 @@
     1.4    "InductiveInvariant_examples",
     1.5    "LocaleTest2",
     1.6    "Records",
     1.7 +  "While_Combinator_Example",
     1.8    "MonoidGroup",
     1.9    "BinEx",
    1.10    "Hex_Bin_Examples",