doc-src/IsarImplementation/implementation.tex
changeset 30114 1fb1833cb199
parent 30084 7a3b5bbed313
child 30124 b956bf0dc87c
equal deleted inserted replaced
30113:2d2fce7fa92d 30114:1fb1833cb199
    76 \appendix
    76 \appendix
    77 \input{Thy/document/ML.tex}
    77 \input{Thy/document/ML.tex}
    78 
    78 
    79 \begingroup
    79 \begingroup
    80 \tocentry{\bibname}
    80 \tocentry{\bibname}
    81 \bibliographystyle{plain} \small\raggedright\frenchspacing
    81 \bibliographystyle{abbrv} \small\raggedright\frenchspacing
    82 \bibliography{../manual}
    82 \bibliography{../manual}
    83 \endgroup
    83 \endgroup
    84 
    84 
    85 \tocentry{\indexname}
    85 \tocentry{\indexname}
    86 \printindex
    86 \printindex