\documentclass[a4paper,notitlepage,oneside]{book}

\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}

\usepackage{multicol}
\usepackage[authoryear,longnamesfirst,round]{natbib}
\usepackage{multind}
\usepackage{xspace}
\usepackage{mdframed}
\usepackage[procnames]{listings}
\usepackage{amssymb,dsfont,stmaryrd}
\usepackage{infer}
\usepackage[pagebackref,colorlinks=true,linkcolor=black,linktoc=all,citecolor=blue]{hyperref}
\usepackage[usenames,dvipsnames]{xcolor}
\usepackage{tabularx}
\usepackage{paralist}

\DeclareMathVersion{sans}
\SetSymbolFont{operators}{sans}{OT1}{cmbr}{m}{n}
\SetSymbolFont{letters}{sans}{OML}{cmbrm}{m}{it}
\SetSymbolFont{symbols}{sans}{OMS}{cmbrs}{m}{n}
\SetMathAlphabet{\mathit}{sans}{OT1}{cmbr}{m}{sl}
\SetMathAlphabet{\mathbf}{sans}{OT1}{cmbr}{bx}{n}
\SetMathAlphabet{\mathtt}{sans}{OT1}{cmtl}{m}{n}
\SetSymbolFont{largesymbols}{sans}{OMX}{iwona}{m}{n}

\makeindex{easycrypt}
\makeindex{ambient}
\makeindex{hoare}
\makeindex{phl}
\makeindex{prhl}
\makeindex{commonhl}

\input{defs}


\lstset{numberbychapter=false} %% Set to true if chapter numbering is desired


\title{\EasyCrypt Manual}
\date{Version \ECversion{} --- \today}
\author{The \EasyCrypt Team}

\begin{document}

\maketitle
\thispagestyle{empty}

\tableofcontents

\part{User Manual}
% Getting Started: Installation and Basic Usage
\input{started}
% Theories: Functions, Modules, and Procedures
\input{theories}
% Tactics: First-Order and pRHL Tactics
\input{tactics}
% Structuring proofs: Type classes, Theories, Cloning and Sections
\input{structuring}
% Libraries
\input{libs}
% Examples
\input{examples}

\addcontentsline{toc}{chapter}{References}
\bibliographystyle{plainnat}
\bibliography{references}

%\part{Language Reference}

\cleardoublepage
\addcontentsline{toc}{part}{Index}
\printindex{easycrypt}{General Index}
\printindex{ambient}{Index of Ambient Logic Tactics}
\printindex{hoare}{Index of Possibilistic Hoare Logic Tactics}
\printindex{phl}{Index of Probabilistic Hoare Logic Tactics}
\printindex{prhl}{Index of Probabilistic Relational Hoare Logic Tactics}
\printindex{commonhl}{Index of Common Hoare Logic Tactics}

\end{document}