--- a/doc-src/IsarImplementation/Thy/base.thy Wed Nov 15 11:33:59 2006 +0100
+++ b/doc-src/IsarImplementation/Thy/base.thy Wed Nov 15 15:36:09 2006 +0100
@@ -3,7 +3,7 @@
theory base
imports CPure
-uses "setup.ML"
+uses "../../antiquote_setup.ML"
begin
end