\documentclass{article}

\usepackage{matex}

\begin{document}

\input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.type}

\bigskip

\input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.body}

\end{document}
