doc-isac/msteger/bakk-arbeit/thesis-biblio.tex
author Walther Neuper <neuper@ist.tugraz.at>
Tue, 17 Sep 2013 09:50:52 +0200
changeset 52107 f8845fc8f38d
parent 52056 src/Doc/isac/msteger/bakk-arbeit/thesis-biblio.tex@f5d9bceb4dc0
permissions -rw-r--r--
separated Isac documentation (~~/doc-isac) from Isabelle documentation (~~/src/Doc)
neuper@42070
     1
{
neuper@42070
     2
neuper@42072
     3
%\bibliographystyle{plain}
neuper@42072
     4
\bibliographystyle{alpha}
neuper@42070
     5
neuper@42070
     6
neuper@42070
     7
% the names of the bib files used
neuper@42070
     8
neuper@42070
     9
\phantomsection
neuper@42070
    10
\addcontentsline{toc}{chapter}{Bibliography}
neuper@42070
    11
\bibliography{master_thesis.bib} 
neuper@42070
    12
neuper@42070
    13
}
neuper@42070
    14
neuper@42070
    15