1.1 --- a/src/HOL/ex/ROOT.ML	Sun May 16 00:02:11 2010 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Mon May 17 10:58:31 2010 +0200
     1.3 @@ -7,7 +7,6 @@
     1.4    "State_Monad",
     1.5    "Efficient_Nat_examples",
     1.6    "FuncSet",
     1.7 -  "Word",
     1.8    "Eval_Examples",
     1.9    "Codegenerator_Test",
    1.10    "Codegenerator_Pretty_Test",
    1.11 @@ -46,7 +45,6 @@
    1.12    "Unification",
    1.13    "Primrec",
    1.14    "Tarski",
    1.15 -  "Adder",
    1.16    "Classical",
    1.17    "set",
    1.18    "Meson_Test",