\documentstyle[11pt,twoside]{rinf}

\def\tr{{\small \sl TR 94-04(193)}} %% numery 04(193) to kolejne
%%%%% numery raporu (lokalny w danym roku i kolejny od poczatku)
%%%%% uzgadniane z zespolem wydawnictw
\pagestyle{myheadings}

\title{The emptiness problem \\ for intersection types} 
%%%% nalezy wpisac tytul swojej pracy, \\ dziela tytul na wiersze
\author{nalezy wpisac nazwisko lub nazwiska autora} 
\date{}

\begin{document}
\thispagestyle{empty}
\tableofcontents
\vfill\eject

\maketitle
\setcounter{page}{1}

%%%%  w tym miejscu zaczyna sie tekst podstawowy pracy, ew. od 
%%%%  \begin{abstract}, choc niekoniecznie, wedle zyczenia autora.

\end{document}


