%\def\TABLET{}
\include{prelude}

\begin{document}

\frontmatter
\pagenumbering{roman}
\setcounter{page}{1}

\thispagestyle{plain}
\pagestyle{loveheadings}

%\include{preface}

\mainmatter
\pagenumbering{arabic}
\setcounter{page}{1}

%\include{ch01-definitions-and-statements}
%\include{ch02-backward-proofs}
%\include{ch03-forward-proofs}
\include{ch04-functional-programming}
%\include{ch05-inductive-predicates}
%\include{ch06-monads}
%\include{ch07-metaprogramming}
%\include{ch08-operational-semantics}
%\include{ch09-hoare-logic}
%\include{ch10-denotational-semantics}
%\include{ch11-logical-foundations-of-mathematics}
%\include{ch12-basic-mathematical-structures}
%\include{ch13-rational-and-real-numbers}

\raggedright

\bibliography{bib}{}
\bibliographystyle{abbrv}

\end{document}
