--- a/doc-src/IsarRef/Thy/document/session.tex Sun May 04 21:34:44 2008 +0200
+++ b/doc-src/IsarRef/Thy/document/session.tex Mon May 05 15:23:21 2008 +0200
@@ -4,6 +4,8 @@
\input{pure.tex}
+\input{Generic.tex}
+
\input{Quick_Reference.tex}
%%% Local Variables: