equal
deleted
inserted
replaced
74 \input{Document_Preparation.tex} |
74 \input{Document_Preparation.tex} |
75 \input{Spec.tex} |
75 \input{Spec.tex} |
76 \input{Proof.tex} |
76 \input{Proof.tex} |
77 \input{Proof_Script.tex} |
77 \input{Proof_Script.tex} |
78 \input{Inner_Syntax.tex} |
78 \input{Inner_Syntax.tex} |
79 \input{Misc.tex} |
|
80 \input{Generic.tex} |
79 \input{Generic.tex} |
81 \part{Isabelle/HOL}\label{part:hol} |
80 \part{Isabelle/HOL}\label{part:hol} |
82 \input{HOL_Specific.tex} |
81 \input{HOL_Specific.tex} |
83 |
82 |
84 \part{Appendix} |
83 \part{Appendix} |