diff -r 1d963bfd4a1b -r ec46381f149d doc-src/IsarRef/Thy/document/session.tex
--- a/doc-src/IsarRef/Thy/document/session.tex	Wed May 07 10:59:54 2008 +0200
+++ b/doc-src/IsarRef/Thy/document/session.tex	Wed May 07 12:38:55 2008 +0200
@@ -1,12 +1,4 @@
-\input{intro.tex}
-
-\input{syntax.tex}
-
-\input{pure.tex}
-
-\input{Generic.tex}
-
-\input{Quick_Reference.tex}
+\input{ZF_Specific.tex}
 
 %%% Local Variables:
 %%% mode: latex