diff -r 1d963bfd4a1b -r ec46381f149d doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Wed May 07 10:59:54 2008 +0200
+++ b/doc-src/IsarRef/isar-ref.tex	Wed May 07 12:38:55 2008 +0200
@@ -79,6 +79,9 @@
 \input{Thy/document/syntax.tex}
 \input{Thy/document/pure.tex}
 \input{Thy/document/Generic.tex}
+\input{Thy/document/HOL_Specific.tex}
+\input{Thy/document/HOLCF_Specific.tex}
+\input{Thy/document/ZF_Specific.tex}
 \input{logics.tex}
 
 \appendix