| changeset 7 | f7896d90aa19 |
| parent 2 | 26b17f2d583e |
| child 8 | c216ae455c90 |
| 6:50880fcda34d | 7:f7896d90aa19 |
|---|---|
78 |
78 |
79 % generated text of all theories |
79 % generated text of all theories |
80 \input{session} |
80 \input{session} |
81 |
81 |
82 % optional bibliography |
82 % optional bibliography |
83 %\bibliographystyle{abbrv} |
83 \bibliographystyle{abbrv} |
84 %\bibliography{root} |
84 \bibliography{root} |
85 |
85 |
86 \end{document} |
86 \end{document} |
87 |
87 |
88 %%% Local Variables: |
88 %%% Local Variables: |
89 %%% mode: latex |
89 %%% mode: latex |