| changeset 12104 | c058fd42b5fc |
| parent 11878 | f5b7c69a5a57 |
| child 12336 | 2d4561866642 |
| 12103:b9bba87e1d78 | 12104:c058fd42b5fc |
|---|---|
247 \parindent 0pt\parskip 0.5ex |
247 \parindent 0pt\parskip 0.5ex |
248 |
248 |
249 % include generated text of all theories |
249 % include generated text of all theories |
250 \input{session} |
250 \input{session} |
251 |
251 |
252 %\bibliographystyle{plain} |
252 %\bibliographystyle{abbrv} |
253 %\bibliography{root} |
253 %\bibliography{root} |
254 |
254 |
255 \end{document} |
255 \end{document} |
256 EOF |
256 EOF |
257 fi |
257 fi |