matita/components/binaries/matex/test/test.tex

   1 \documentclass{article}
   2
   3 \usepackage{matex}
   4
   5 \begin{document}
   6
   7 \input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.type}
   8
   9 % \bigskip
  10
  11 % \input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.body}
  12
  13 \end{document}