\documentclass{article}

\begin{document}

\title{Integer Set Library: Manual}
\author{Sven Verdoolaege}

\maketitle
\tableofcontents

\input{user}

\end{document}