changeset 49972 | c04001b3a753 |
parent 49971 | d54a3d39ba85 |
1.1 --- a/doc-src/IsarRef/isar-ref.tex Tue Aug 28 12:22:10 2012 +0200 1.2 +++ b/doc-src/IsarRef/isar-ref.tex Tue Aug 28 12:31:53 2012 +0200 1.3 @@ -69,9 +69,8 @@ 1.4 \input{Thy/document/Inner_Syntax.tex} 1.5 \input{Thy/document/Misc.tex} 1.6 \input{Thy/document/Generic.tex} 1.7 -\part{Object-Logics} 1.8 +\part{Object-Logic} 1.9 \input{Thy/document/HOL_Specific.tex} 1.10 -\input{Thy/document/HOLCF_Specific.tex} 1.11 1.12 \part{Appendix} 1.13 \appendix