| changeset 26840 | ec46381f149d |
| parent 26786 | e4e5d911e01c |
| child 26846 | 2e6726015771 |
--- 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