--- a/src/HOL/ex/ROOT.ML Tue Sep 16 09:21:22 2008 +0200 +++ b/src/HOL/ex/ROOT.ML Tue Sep 16 09:21:24 2008 +0200 @@ -6,7 +6,7 @@ no_document use_thys [ "Parity", - "Eval", + "Code_Eval", "State_Monad", "Efficient_Nat_examples", "ExecutableContent",