\documentclass{refrep}

\usepackage[dvips]{graphicx}
\usepackage{color}
\usepackage{fancybox}
\usepackage{eepic}
\usepackage{textcomp}
\usepackage{amsmath, amsthm, amssymb, amscd}
\usepackage{url}
\usepackage{lgrind}
%\usepackage{import}
\usepackage{xspace}

\title{\textsc{Satabs \& Cbmc} user manual}
\author{}
%\author{Georg Wei\ss{}enbacher}
\date{}

\input{code.tex}

\newcommand{\satabs}{\textsc{Satabs}\xspace}

\begin{document}

\maketitle

\tableofcontents

\include{introduction}

\include{overview}

\include{installation}

\include{verification}

%\import{c_frontend/}{report}

\include{license}

\end{document}
