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