\documentclass{article} 
\usepackage{mltex}
\usepackage{wrapfig}
\usepackage{float}
%\usepackage{floatfig}
\usepackage{fancyheadings}
%\usepackage{draftcopy}
%\usepackage{bookman}
\usepackage{utopia}
%\usepackage{times}
%\usepackage{ncntrsbk}
%\usepackage{palatino}

   \setlength{\textwidth}{6.5in}
   \setlength{\evensidemargin}{0in}
   \setlength{\oddsidemargin}{0in}
   \setlength{\textheight}{8in}
   \setlength{\topmargin}{-0.5in}

   \pagestyle{fancyplain}
   %\addtolength{\headwidth}{\marginparsep}
   %\addtolength{\headwidth}{\marginparwidth}

   \newcommand{\edge}[1]{\rightarrow_{#1}}
   \newcommand{\union}{\cup}
   \newcommand{\Union}{\bigcup}
   \newcommand{\overrides}{overrides}
   \newcommand{\defas}{\stackrel{\rm as}{=}}

   \renewcommand{\sectionmark}[1]{\markright{\thesection\ #1}}
   \renewcommand{\subsectionmark}[1]{\markright{\thesubsection\ #1}}
   \newcommand{\Term}[1]{\mbox{\it #1}}
   \lhead[\fancyplain{}{\bfseries\thepage}]%
         {\fancyplain{}{\bfseries\rightmark}}
   \rhead[\fancyplain{}{\bfseries\leftmark}]%
         {\fancyplain{}{\bfseries\thepage}}
   \cfoot{}

   \newenvironment{Figure}{\begin{figure}[htbp]}{\end{figure}}

\begin{document}
   \title{\bf \LARGE \MLTeX} 
   \author{\begin{tabular}{c}
            Allen Leung \\ \\
            New York University \\
            719 Broadway, Rm. 714 \\ 
            New York, NY 10003. \\
            {\tt leunga@cs.nyu.edu}
           \end{tabular}
        \and 
           \begin{tabular}{c}
            Lal George \\ \\
            Bell Laboratories \\
            600--700 Mountain Ave. \\
            Murray Hill, NJ 07974--0636. \\
            {\tt george@research.bell-labs.com}
            \end{tabular}
     }

   \date{\today}
   \bibliographystyle{alpha}

   \maketitle

   \begin{abstract}
 \newdef{\MLTeX} is a special \newdef{\LaTeX} package for writing
\MLRISC{} documentation.  It is similar to the \newdef{latex2html}
tool except that \MLTeX{} has special environments for documenting
Standard ML code.   In addition, there is an accompanying tool
called \newdef{mltex2html} for generating HTML pages.
   \end{abstract}
 

   \include{mltex}
   \bibliography{mlrisc}
\end{document}
