doc-src/IsarAdvanced/Classes/classes.tex
changeset 23956 48494ccfabaf
parent 22347 ddbf185a3be0
child 25533 0140cc7b26ad
equal deleted inserted replaced
23955:f1ba12c117ec 23956:48494ccfabaf
    77 \input{Thy/document/Classes.tex}
    77 \input{Thy/document/Classes.tex}
    78 
    78 
    79 \begingroup
    79 \begingroup
    80 %\tocentry{\bibname}
    80 %\tocentry{\bibname}
    81 \bibliographystyle{plain} \small\raggedright\frenchspacing
    81 \bibliographystyle{plain} \small\raggedright\frenchspacing
    82 \bibliography{../../manual,classes}
    82 \bibliography{../../manual}
    83 \endgroup
    83 \endgroup
    84 
    84 
    85 \end{document}
    85 \end{document}
    86 
    86 
    87 
    87