# HG changeset patch
# User haftmann
# Date 1281510391 -7200
# Node ID 7edf0ab9d5cb0aba912e6f3993131c6c7055ff94
# Parent  ac3080d48b010e30cea875406a43a742a4ff002a
explicit ML extension

diff -r ac3080d48b01 -r 7edf0ab9d5cb doc-src/Classes/Thy/Setup.thy
--- a/doc-src/Classes/Thy/Setup.thy	Wed Aug 11 08:50:20 2010 +0200
+++ b/doc-src/Classes/Thy/Setup.thy	Wed Aug 11 09:06:31 2010 +0200
@@ -1,8 +1,8 @@
 theory Setup
 imports Main Code_Integer
 uses
-  "../../antiquote_setup"
-  "../../more_antiquote"
+  "../../antiquote_setup.ML"
+  "../../more_antiquote.ML"
 begin
 
 setup {* Code_Target.set_default_code_width 74 *}