ivor-0.1.5: docs/tt.tex

\section{$\source$ --- The Core Type Theory}