\documentclass{article}

\usepackage{amsmath}
%\usepackage{hyperref}
\usepackage{amssymb}
\usepackage{xspace}
\usepackage{placeins}
\usepackage{relsize}
\usepackage{alltt}
\usepackage{color}
\usepackage{url}
\usepackage{paralist}
\usepackage{graphicx}

\input{defs}

\title{Motoko}
\author{Andreas Rossberg, Claudio Russo}


\begin{document}
\maketitle

%\input{abstract}

\input{fig-syntax}
\input{fig-typing}
%\input{fig-runtime}
%\input{fig-reduction}

%\clearpage
%\bibliographystyle{abbrv}
%\bibliography{bib}
%\balance

\end{document}
