| changeset 210 | db8e302f44c8 |
| parent 189 | 069d525f8f1d |
| child 211 | d5accbc67e1b |
| 209:17b1512f51af | 210:db8e302f44c8 |
|---|---|
138 Jeremy & Dawson\\ |
138 Jeremy & Dawson\\ |
139 Alexander & Krauss\\ |
139 Alexander & Krauss\\ |
140 \end{tabular}} |
140 \end{tabular}} |
141 |
141 |
142 \maketitle |
142 \maketitle |
143 \setcounter{tocdepth}{1} |
|
143 \tableofcontents |
144 \tableofcontents |
144 |
145 |
145 % generated text of all theories |
146 % generated text of all theories |
146 \input{session} |
147 \input{session} |
147 |
148 |