doc-src/IsarRef/Thy/Inner_Syntax.thy

 theory Inner_Syntax
-imports Main
+imports Base Main
 begin
 
 chapter {* Inner syntax --- the term language \label{ch:inner-syntax} *}
 
 section {* Printing logical entities *}