changeset 26840 | ec46381f149d |
parent 26786 | e4e5d911e01c |
child 26846 | 2e6726015771 |
1.1 --- a/doc-src/IsarRef/isar-ref.tex Wed May 07 10:59:54 2008 +0200 1.2 +++ b/doc-src/IsarRef/isar-ref.tex Wed May 07 12:38:55 2008 +0200 1.3 @@ -79,6 +79,9 @@ 1.4 \input{Thy/document/syntax.tex} 1.5 \input{Thy/document/pure.tex} 1.6 \input{Thy/document/Generic.tex} 1.7 +\input{Thy/document/HOL_Specific.tex} 1.8 +\input{Thy/document/HOLCF_Specific.tex} 1.9 +\input{Thy/document/ZF_Specific.tex} 1.10 \input{logics.tex} 1.11 1.12 \appendix