blob: 655261c3987c185c1f9f29c33da0a6f8988a504d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
\documentclass{book}
\usepackage{haddock}
\begin{document}
\begin{titlepage}
\begin{haddocktitle}
\end{haddocktitle}
\end{titlepage}
\tableofcontents
\input{LinearTypes}
\end{document}
|