equal
deleted
inserted
replaced
69 \pagenumbering{roman} \tableofcontents \clearfirst |
69 \pagenumbering{roman} \tableofcontents \clearfirst |
70 |
70 |
71 \input{Thy/document/intro.tex} |
71 \input{Thy/document/intro.tex} |
72 \input{basics.tex} |
72 \input{basics.tex} |
73 \input{Thy/document/syntax.tex} |
73 \input{Thy/document/syntax.tex} |
74 \input{pure.tex} |
74 \input{Thy/document/pure.tex} |
75 \input{generic.tex} |
75 \input{generic.tex} |
76 \input{logics.tex} |
76 \input{logics.tex} |
77 |
77 |
78 \appendix |
78 \appendix |
79 \input{refcard.tex} |
79 \input{refcard.tex} |