| changeset 26754 | c0424e4de33d |
| parent 26741 | eb15fd4cd1ad |
| child 26767 | cc127cc0951b |
| 26753:094d70c81243 | 26754:c0424e4de33d |
|---|---|
68 |
68 |
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{syntax.tex} |
73 \input{Thy/document/syntax.tex} |
74 \input{pure.tex} |
74 \input{pure.tex} |
75 \input{generic.tex} |
75 \input{generic.tex} |
76 \input{logics.tex} |
76 \input{logics.tex} |
77 |
77 |
78 \appendix |
78 \appendix |