1.1 --- a/doc-src/IsarRef/Thy/document/session.tex	Mon Apr 28 13:41:04 2008 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/document/session.tex	Mon Apr 28 14:22:42 2008 +0200
     1.3 @@ -1,5 +1,7 @@
     1.4  \input{intro.tex}
     1.5  
     1.6 +\input{syntax.tex}
     1.7 +
     1.8  %%% Local Variables:
     1.9  %%% mode: latex
    1.10  %%% TeX-master: "root"