equal
deleted
inserted
replaced
67 \input{Thy/document/Spec.tex} |
67 \input{Thy/document/Spec.tex} |
68 \input{Thy/document/Proof.tex} |
68 \input{Thy/document/Proof.tex} |
69 \input{Thy/document/Inner_Syntax.tex} |
69 \input{Thy/document/Inner_Syntax.tex} |
70 \input{Thy/document/Misc.tex} |
70 \input{Thy/document/Misc.tex} |
71 \input{Thy/document/Generic.tex} |
71 \input{Thy/document/Generic.tex} |
72 \part{Object-Logics} |
72 \part{Object-Logic} |
73 \input{Thy/document/HOL_Specific.tex} |
73 \input{Thy/document/HOL_Specific.tex} |
74 \input{Thy/document/HOLCF_Specific.tex} |
|
75 |
74 |
76 \part{Appendix} |
75 \part{Appendix} |
77 \appendix |
76 \appendix |
78 \input{Thy/document/Quick_Reference.tex} |
77 \input{Thy/document/Quick_Reference.tex} |
79 \let\int\intorig |
78 \let\int\intorig |