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

   1 \documentclass[8pt,twocolumn,a4paper]{extarticle}
   2
   3 \usepackage[margin=2cm]{geometry}
   4 \usepackage[pdfborder={0 0 0},bookmarks=false,ps2pdf]{hyperref}
   5 \usepackage[american]{babel}
   6 \usepackage{matex}
   7 \usepackage{legacy_1}
   8 \usepackage{ground_1}
   9 \usepackage{basic_1}
  10
  11 \newcounter{node}
  12 \renewcommand*\ObjIncNode{\stepcounter{node}}
  13 \renewcommand*\ObjNode{\arabic{node}}
  14
  15 \title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$:
  16 Definitions and Statements}
  17
  18 \author{Ferruccio Guidi}
  19
  20 \begin{document}
  21
  22 \maketitle
  23
  24 \input{objs}
  25
  26 \end{document}