src/HOL/ex/ROOT.ML

--- a/src/HOL/ex/ROOT.ML	Thu Aug 09 15:52:42 2007 +0200
+++ b/src/HOL/ex/ROOT.ML	Thu Aug 09 15:52:45 2007 +0200
@@ -18,8 +18,8 @@
 
 no_document time_use_thy "Executable_Rat";
 no_document time_use_thy "Efficient_Nat";
-time_use_thy "Codegenerator_Rat";
 no_document time_use_thy "Codegenerator";
+no_document time_use_thy "Codegenerator_Pretty";
 
 time_use_thy "Higher_Order_Logic";
 time_use_thy "Abstract_NAT";