--- 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