% Version of 27 Dec. 1993

\documentstyle{logic}
\makeindex
\input{elp.lab}
\input{odsymb}
\begin{document}
\input{intro}
\bibliographystyle{alpha}
\bibliography{odrefs}
\input{draft-intro.subind}
\input{draft-intro.notind}
\input{draft-intro.auind}
\end{document}