cpsa-4.4.1: coq/procdoc.tex

\documentclass[12pt]{report}
%\usepackage[T1]{fontenc}
%\usepackage{lmodern}
%\usepackage{fullpage}
\usepackage{coqdoc}
\usepackage{amsmath,amssymb}
\usepackage{url}
\usepackage{hyperref}

\title{Roletran Semantics and Proofs}

\author{Daniel J.~Dougherty\and John D. Ramsdell}

\begin{document}

\maketitle

\begin{abstract}
  The abstract is currently missing.
\end{abstract}

\tableofcontents

\coqlibrary{Introduction}{}{Introduction}

The introduction is currently missing.

\input{body}

\end{document}