--- a/doc-src/IsarRef/Thy/Outer_Syntax.thy Mon Jun 02 23:38:24 2008 +0200
+++ b/doc-src/IsarRef/Thy/Outer_Syntax.thy Mon Jun 02 23:38:25 2008 +0200
@@ -1,7 +1,7 @@
(* $Id$ *)
theory Outer_Syntax
-imports Pure
+imports Main
begin
chapter {* Outer syntax *}