equal
deleted
inserted
replaced
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} |