1.1 --- a/doc-src/IsarRef/isar-ref.tex	Tue May 31 22:18:37 2011 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Tue May 31 22:47:18 2011 +0200
     1.3 @@ -52,6 +52,7 @@
     1.4  \clearfirst
     1.5  
     1.6  \part{Basic Concepts}
     1.7 +\input{Thy/document/Synopsis.tex}
     1.8  \input{Thy/document/Framework.tex}
     1.9  \input{Thy/document/First_Order_Logic.tex}
    1.10  \part{General Language Elements}