equal
deleted
inserted
replaced
84 \input{Thy/document/ZF_Specific.tex} |
84 \input{Thy/document/ZF_Specific.tex} |
85 \input{logics.tex} |
85 \input{logics.tex} |
86 |
86 |
87 \appendix |
87 \appendix |
88 \input{Thy/document/Quick_Reference.tex} |
88 \input{Thy/document/Quick_Reference.tex} |
89 \input{conversion.tex} |
89 \input{Thy/document/ML_Tactic.tex} |
90 |
90 |
91 \begingroup |
91 \begingroup |
92 \bibliographystyle{plain} \small\raggedright\frenchspacing |
92 \bibliographystyle{plain} \small\raggedright\frenchspacing |
93 \bibliography{../manual} |
93 \bibliography{../manual} |
94 \endgroup |
94 \endgroup |