src/Doc/IsarRef/document/root.tex
changeset 50109 c13dc0b1841c
parent 48985 5386df44a037
child 50130 8c6fde547cba
equal deleted inserted replaced
50108:f171b5240c31 50109:c13dc0b1841c
    67 \input{Spec.tex}
    67 \input{Spec.tex}
    68 \input{Proof.tex}
    68 \input{Proof.tex}
    69 \input{Inner_Syntax.tex}
    69 \input{Inner_Syntax.tex}
    70 \input{Misc.tex}
    70 \input{Misc.tex}
    71 \input{Generic.tex}
    71 \input{Generic.tex}
    72 \part{Object-Logic}
    72 \part{Isabelle/HOL}\label{part:hol}
    73 \input{HOL_Specific.tex}
    73 \input{HOL_Specific.tex}
    74 
    74 
    75 \part{Appendix}
    75 \part{Appendix}
    76 \appendix
    76 \appendix
    77 \input{Quick_Reference.tex}
    77 \input{Quick_Reference.tex}