doc-src/IsarRef/Thy/document/session.tex
changeset 26840 ec46381f149d
parent 26782 19363c70b5c4
child 26849 df50bc1249d7
--- 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