--- a/doc-src/Locales/Locales/Examples.thy Fri Jun 27 00:37:30 2008 +0200
+++ b/doc-src/Locales/Locales/Examples.thy Fri Jun 27 09:34:08 2008 +0200
@@ -1,7 +1,7 @@
(* $Id$ *)
theory Examples
-imports GCD
+imports Main GCD
begin
hide %invisible const Lattices.lattice
--- a/doc-src/Locales/Locales/document/Examples.tex Fri Jun 27 00:37:30 2008 +0200
+++ b/doc-src/Locales/Locales/document/Examples.tex Fri Jun 27 09:34:08 2008 +0200
@@ -11,7 +11,7 @@
\isatagtheory
\isacommand{theory}\isamarkupfalse%
\ Examples\isanewline
-\isakeyword{imports}\ GCD\isanewline
+\isakeyword{imports}\ Main\ GCD\isanewline
\isakeyword{begin}%
\endisatagtheory
{\isafoldtheory}%