1.1 --- a/src/HOL/ex/ROOT.ML	Fri Jul 02 14:23:17 2010 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri Jul 02 14:23:18 2010 +0200
     1.3 @@ -8,8 +8,6 @@
     1.4    "Efficient_Nat_examples",
     1.5    "FuncSet",
     1.6    "Eval_Examples",
     1.7 -  "Codegenerator_Test",
     1.8 -  "Codegenerator_Pretty_Test",
     1.9    "NormalForm"
    1.10  ];
    1.11