%\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-types-and-terms}
%\include{ch02-programs-and-theorems}
%\include{ch03-backward-proofs}
%\include{ch04-forward-proofs}
%\include{ch05-functional-programming}
%\include{ch06-inductive-predicates}
%\include{ch07-effectful-programming}
%\include{ch08-metaprogramming}
%\include{ch09-operational-semantics}
%\include{ch10-hoare-logic}
%\include{ch11-denotational-semantics}
%\include{ch12-logical-foundations-of-mathematics}
%\include{ch13-basic-mathematical-structures}
\include{ch14-rational-and-real-numbers}

\raggedright

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

\end{document}
