| changeset 17 | 8afa1c990a14 |
| parent 15 | 9da9ba2b095b |
| child 21 | 2356e5c70d98 |
| 16:5045dec52d2b | 17:8afa1c990a14 |
|---|---|
52 % generated text of all theories |
52 % generated text of all theories |
53 \input{session} |
53 \input{session} |
54 |
54 |
55 \newpage |
55 \newpage |
56 \bibliographystyle{abbrv} |
56 \bibliographystyle{abbrv} |
57 \bibliography{cookbook} |
57 \bibliography{root} |
58 |
58 |
59 \end{document} |
59 \end{document} |
60 |
60 |
61 %%% Local Variables: |
61 %%% Local Variables: |
62 %%% mode: latex |
62 %%% mode: latex |