main.tex

\documentclass[graybox, envcountchap]{svmult}


\usepackage{mathptmx}        % selects Times Roman as basic font
\usepackage{helvet}          % selects Helvetica as sans-serif font
\usepackage{courier}         % selects Courier as typewriter font

\usepackage{xspace}
\usepackage{multind}         % allows multiple index generation
\usepackage{graphicx}        % standard LaTeX graphics tool
                             % when including figure files
\usepackage{multicol}        % used for the two-column index
\usepackage[bottom]{footmisc}% places footnotes at page bottom

\usepackage{hyperref}

\usepackage{amssymb}
\usepackage{txfonts}
\usepackage{cmll}

\usepackage{proof}
\usepackage{bussproofs}
\EnableBpAbbreviations



\usepackage[sorting=ydnt,maxnames=99]{biblatex}
\usepackage{bibliographies}

\usepackage{commands}
\usepackage{logicalsymbols}

\usepackage{prooftree}
\usepackage{ded,stmaryrd}


% makeindex should use "svind.ist" 
\makeindex{logics} % index for logics
\makeindex{ctypes} % index for calculus types
               
% this is needed by entries that use too many math alphabets        
\DeclareMathVersion{mathhungry}


\begin{document}
\frontmatter

  %\include{frontmatter/dedic}
  %\include{frontmatter/foreword}
  \include{frontmatter/preface}
  %\include{frontmatter/acknow}

  \tableofcontents
  


\mainmatter

  \include{intros}

  \include{proofsystems}


\backmatter

  \part{\emph{Indexes}}

  \appendix

  \include{backmatter/cblist}
  \include{backmatter/acronym}
  %\include{backmatter/glossary}

  \newpage

  \begin{scriptsize}
  \printindex{logics}{Logics}
  \printindex{ctypes}{Proof Systems Grouped by Type}
  \end{scriptsize}

\end{document}