\documentclass[11pt]{article}

\usepackage{amsmath,amssymb,supertabular,geometry,fullpage}
\geometry{a4paper,twoside,landscape,left=10.5mm,right=10.5mm,top=20mm,bottom=30mm}
\usepackage{color}

\begin{document}

\input{doc_in}

\title{Sail Manual}
\author{Kathryn E Gray, Gabriel Kerneis, Peter Sewell}

\maketitle

\tableofcontents

\newpage

\section{Sail syntax}

\ottgrammartabular{
\ottl\ottinterrule
\ottannot\ottinterrule
\ottid\ottinterrule
\ottkid\ottinterrule
\ottbaseXXkind\ottinterrule
\ottkind\ottinterrule
\ottnexp\ottinterrule
\ottorder\ottinterrule
\ottbaseXXeffect\ottinterrule
\otteffect\ottinterrule
\otttyp\ottinterrule
\otttypXXarg\ottinterrule
\ottnXXconstraint\ottinterrule
\ottkindedXXid\ottinterrule
\ottquantXXitem\ottinterrule
\otttypquant\ottinterrule
\otttypschm\ottinterrule
\ottnameXXscmXXopt\ottinterrule
\otttypeXXdef\ottinterrule
\otttypeXXunion\ottinterrule
\ottindexXXrange\ottinterrule
\ottlit\ottinterrule
\ottsemiXXopt\ottinterrule
\ottpat\ottinterrule
\ottfpat\ottinterrule
\ottexp\ottinterrule
\ottlexp\ottinterrule
\ottfexp\ottinterrule
\ottfexps\ottinterrule
\ottoptXXdefault\ottinterrule
\ottpexp\ottinterrule
\otttannotXXopt\ottinterrule
\ottrecXXopt\ottinterrule
\otteffectXXopt\ottinterrule
\ottfuncl\ottinterrule
\ottfundef\ottinterrule
\ottletbind\ottinterrule
\ottvalXXspec\ottinterrule
\ottdefaultXXspec\ottinterrule
\ottscatteredXXdef\ottinterrule
\ottregXXid\ottinterrule
\ottaliasXXspec\ottinterrule
\ottdecXXspec\ottinterrule
\ottdef\ottinterrule
\ottdefs\ottinterrule}

\newpage
\section{Sail primitive types and functions}

\ottgrammartabular{
\ottbuiltXXinXXtypes\ottinterrule}

\ottgrammartabular{
\ottbuiltXXinXXtypeXXabbreviations\ottinterrule
\ottfunctions\ottinterrule
\ottfunctionsXXwithXXcoercions\ottinterrule}
\newpage

\section{Sail type system}

\subsection{Internal type syntax}

\ottgrammartabular{
\ottk\ottinterrule
\ottt\ottinterrule
\ottoptx\ottinterrule
\otttag\ottinterrule
\ottne\ottinterrule
\otttXXarg\ottinterrule
\otttXXargs\ottinterrule
\ottnec\ottinterrule
\ottSXXN\ottinterrule
\ottEXXd\ottinterrule
\ottkinf\ottinterrule
\otttid\ottinterrule
\ottEXXk\ottinterrule
\otttinf\ottinterrule
\ottEXXa\ottinterrule
\ottfieldXXtyps\ottinterrule
\ottEXXr\ottinterrule
\ottenumerateXXmap\ottinterrule
\ottEXXe\ottinterrule
\ottEXXt\ottinterrule
\ottts\ottinterrule
\ottE\ottinterrule
\ottI\ottinterrule
\ottformula\ottinterrule}


\subsection{ Type relations }
\ottdefnss

\section{Sail operational semantics \{TODO\}}

\end{document}