diff -r f65e8b318581 -r 293b166c45c5 doc-src/IsarAdvanced/Codegen/Thy/ROOT.ML
--- a/doc-src/IsarAdvanced/Codegen/Thy/ROOT.ML	Tue Sep 30 11:19:47 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Thy/ROOT.ML	Tue Sep 30 12:49:14 2008 +0200
@@ -2,7 +2,7 @@
 (* $Id$ *)
 
 no_document use_thy "Setup";
-no_document use_thys ["Efficient_Nat", "Code_Integer"];
+no_document use_thys ["Efficient_Nat"];
 
 use_thy "Introduction";
 use_thy "Program";