--- a/doc-src/IsarRef/Thy/document/session.tex	Thu May 08 12:27:19 2008 +0200
+++ b/doc-src/IsarRef/Thy/document/session.tex	Thu May 08 12:29:18 2008 +0200
@@ -1,4 +1,16 @@
-\input{ZF_Specific.tex}
+\input{intro.tex}
+
+\input{syntax.tex}
+
+\input{pure.tex}
+
+\input{Generic.tex}
+
+\input{HOL_Specific.tex}
+
+\input{Quick_Reference.tex}
+
+\input{ML_Tactic.tex}
 
 %%% Local Variables:
 %%% mode: latex