equal
deleted
inserted
replaced
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-Logics} |
73 \input{Thy/document/HOL_Specific.tex} |
73 \input{Thy/document/HOL_Specific.tex} |
74 \input{Thy/document/HOLCF_Specific.tex} |
74 \input{Thy/document/HOLCF_Specific.tex} |
75 \input{Thy/document/ZF_Specific.tex} |
|
76 |
75 |
77 \part{Appendix} |
76 \part{Appendix} |
78 \appendix |
77 \appendix |
79 \input{Thy/document/Quick_Reference.tex} |
78 \input{Thy/document/Quick_Reference.tex} |
80 \let\int\intorig |
79 \let\int\intorig |