\documentclass[8pt,twocolumn,a4paper]{extarticle}

\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}

\newcounter{node}
\renewcommand*\ObjIncNode{\stepcounter{node}}
\renewcommand*\ObjNode{\arabic{node}}

\title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$:
Definitions and Statements}

\author{Ferruccio Guidi}

\begin{document}

\maketitle

\input{objs}

\end{document}
