diff -r 552eae49f97d -r e3fdb7c96be5 doc-src/IsarRef/Thy/Inner_Syntax.thy
--- a/doc-src/IsarRef/Thy/Inner_Syntax.thy	Tue May 03 14:23:40 2011 +0200
+++ b/doc-src/IsarRef/Thy/Inner_Syntax.thy	Tue May 03 15:07:36 2011 +0200
@@ -1,5 +1,5 @@
 theory Inner_Syntax
-imports Main
+imports Base Main
 begin
 
 chapter {* Inner syntax --- the term language \label{ch:inner-syntax} *}