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

   1 \documentclass[8pt,twocolumn]{extarticle}
   2
   3 \usepackage[bookmarks=false,ps2pdf]{hyperref}
   4 \usepackage[american]{babel}
   5 \usepackage{matex}
   6
   7 \begin{document}
   8
   9 \input{matita.lambdadelta.basic_1.pr0.defs.pr0_ind.pr0_ind.type.tex}
  10
  11 \bigskip
  12
  13 \input{matita.lambdadelta.basic_1.pr0.defs.pr0_ind.pr0_ind.body.tex}
  14
  15 \bigskip
  16
  17 \input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.type}
  18
  19 \bigskip
  20
  21 \input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.body}
  22
  23 \ObjRef{pr0_ind}
  24 \ObjRef{pr0_confluence}
  25
  26 \end{document}