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.pr0_beta.type}
  10
  11 \bigskip
  12
  13 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0_comp.type}
  14
  15 \bigskip
  16
  17 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0_delta.type}
  18
  19 \bigskip
  20
  21 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0_refl.type}
  22
  23 \bigskip
  24
  25 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0_tau.type}
  26
  27 \bigskip
  28
  29 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0.type}
  30
  31 \bigskip
  32
  33 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0_upsilon.type}
  34
  35 \bigskip
  36
  37 \input{matita.lambdadelta.basic_1.pr0.defs.pr0.pr0_zeta.type}
  38
  39 \bigskip
  40
  41 \input{matita.lambdadelta.basic_1.pr0.defs.pr0_ind.pr0_ind.type}
  42
  43 \bigskip
  44
  45 \input{matita.lambdadelta.basic_1.pr0.defs.pr0_ind.pr0_ind.body}
  46
  47 \bigskip
  48
  49 \input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.type}
  50
  51 \bigskip
  52
  53 \input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.body}
  54
  55 \bigskip
  56
  57 \ObjRef{pr0}
  58 \ObjRef{pr0_ind}
  59 \ObjRef{pr0_confluence}
  60
  61 \end{document}