blob: 4091f8144fc98908a6e07842f94dd9d7dc6ea02c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
\documentclass[11pt]{article}
\usepackage[utf8x]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{textcomp}
\usepackage{tipa}
\usepackage{textgreek}
\usepackage{fullpage}
\usepackage{url}
\usepackage{ocamldoc}
\title{Coq mlis documentation}
\begin{document}
\maketitle
\tableofcontents
\vspace{0.2cm}
|
