--- a/doc-src/IsarRef/Thy/document/session.tex Fri May 02 16:32:51 2008 +0200
+++ b/doc-src/IsarRef/Thy/document/session.tex Fri May 02 16:36:05 2008 +0200
@@ -2,6 +2,8 @@
\input{syntax.tex}
+\input{pure.tex}
+
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "root"