\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}
