%%
%% A simple demo of the type system definition pre-processor.
%% By Niko Matsakis.
%% 


\documentclass[runningheads]{llncs}

%\documentclass[letterpaper]{sig-alternate}
%
\usepackage{makeidx}  % allows for indexgeneration
\usepackage{amsfonts}
\usepackage{algorithm}
\usepackage{algorithmic}
\usepackage{mathpartir}
\usepackage{mathtools}
\usepackage{graphicx}

%\DeclareMathSizes{10}{18}{12}{8}

%
\begin{document}

%\pagestyle{headings}  % switches on printing of running heads
\pagestyle{empty}  % switches on printing of running heads

\title{Type System Definition Preprocessor}
\author{Nicholas D. Matsakis}
\institute{ETH Zurich}
\date{2008}

\maketitle              % typeset the title of the contribution

\begin{abstract}
Demonstrates some of the features.
\end{abstract}

\section{Introduction}

\begin{figure}
\include{test-gr}
\caption{An AST.}
\end{figure}

\begin{figure}
\include{test-ts}
\caption{Some type rules.}
\end{figure}

\input{test-alg} 


\section{Related Work}

Makes use of the excellent \verb"mathpartit.sty", by Didier Remy, and available at:
\verb"http://pauillac.inria.fr/~remy/latex/".

\end{document}
