\documentclass{report}

\usepackage[plainpages=false,pdfpagelabels,breaklinks,pagebackref]{hyperref}

\usepackage{amsmath}

\usepackage{amssymb}

\usepackage{txfonts}

\usepackage{chicago}

\usepackage{aliascnt}

\usepackage{tikz}

\usepackage{calc}

\usepackage[ruled]{algorithm2e}

\usetikzlibrary{matrix,fit,backgrounds,decorations.pathmorphing,positioning}

\usepackage{listings}

\lstset{basicstyle=\tt,flexiblecolumns=false}

\def\vec#1{\mathchoice{\mbox{\boldmath$\displaystyle\bf#1$}}

{\mbox{\boldmath$\textstyle\bf#1$}}

{\mbox{\boldmath$\scriptstyle\bf#1$}}

{\mbox{\boldmath$\scriptscriptstyle\bf#1$}}}

\providecommand{\fract}[1]{\left\{#1\right\}}

\providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}

\providecommand{\ceil}[1]{\left\lceil#1\right\rceil}

\def\sp#1#2{\langle #1, #2 \rangle}

\def\spv#1#2{\langle\vec #1,\vec #2\rangle}

\newtheorem{theorem}{Theorem}

\newaliascnt{example}{theorem}

\newtheorem{example}[example]{Example}

\newaliascnt{def}{theorem}

\newtheorem{definition}[def]{Definition}

\aliascntresetthe{example}

\aliascntresetthe{def}

\numberwithin{theorem}{section}

\numberwithin{def}{section}

\numberwithin{example}{section}

\newcommand{\algocflineautorefname}{Algorithm}

\newcommand{\exampleautorefname}{Example}

\newcommand{\lstnumberautorefname}{Line}

\renewcommand{\sectionautorefname}{Section}

\renewcommand{\subsectionautorefname}{Section}

\def\Z{\mathbb{Z}}

\def\Q{\mathbb{Q}}

\def\pdom{\mathop{\rm pdom}\nolimits}

\def\domain{\mathop{\rm dom}\nolimits}

\def\range{\mathop{\rm ran}\nolimits}

\def\identity{\mathop{\rm Id}\nolimits}

\def\diff{\mathop{\Delta}\nolimits}

\providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}

\begin{document}

\title{Integer Set Library: Manual\\

\small Version: \input{version} }

\author{Sven Verdoolaege}

\maketitle

\tableofcontents

\chapter{User Manual}

\input{user}

\chapter{Implementation Details}

\input{implementation}

\bibliography{isl}

\bibliographystyle{chicago}

\end{document}