-\documentclass{article}
+\documentclass[8pt,twocolumn,a4paper]{extarticle}
-\usepackage[bookmarks=false,ps2pdf]{hyperref}
+\usepackage[margin=2cm]{geometry}
+\usepackage[pdfborder={0 0 0},bookmarks=false,ps2pdf]{hyperref}
\usepackage[american]{babel}
\usepackage{matex}
+\usepackage{legacy_1}
+\usepackage{ground_1}
+\usepackage{basic_1}
-\begin{document}
-
-\input{matita.lambdadelta.basic_1.pr0.defs.pr0_ind.pr0_ind.type.tex}
-
-\bigskip
+\newcounter{node}
+\renewcommand*\ObjIncNode{\stepcounter{node}}
+\renewcommand*\ObjNode{\arabic{node}}
-\input{matita.lambdadelta.basic_1.pr0.defs.pr0_ind.pr0_ind.body.tex}
+\title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$:
+Definitions and Statements}
-\bigskip
+\author{Ferruccio Guidi}
-\input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.type}
-
-\bigskip
+\begin{document}
-\input{matita.lambdadelta.basic_1.pr0.pr0.pr0_confluence.body}
+\maketitle
-\ObjRef{pr0_ind}
-\ObjRef{pr0_confluence}
+\input{objs}
\end{document}