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 \usepackage{legacy_1}
   7 \usepackage{ground_1}
   8 \usepackage{basic_1}
   9
  10 \newcounter{node}
  11 \renewcommand*\ObjIncNode{\stepcounter{node}}
  12 \renewcommand*\ObjNode{\arabic{node} }
  13
  14 \title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$}
  15
  16 \author{Ferruccio Guidi}
  17
  18 \begin{document}
  19
  20 \maketitle
  21
  22 \input{objs}
  23
  24 \end{document}