\documentclass{article}[12pt]
\usepackage{times}
\usepackage{amsmath}
\usepackage{psfrag}
\usepackage{graphicx}
\usepackage{epsfig}
\usepackage{wrapfig}
\usepackage[letterpaper,textwidth=470pt,textheight=8.51in]{geometry}
%Included for Gather Purpose in WinEdt only:
%input "h:\unl\bibtex\all.bib"
%defines the datalog operator :- with correct spacing etc.
\def\lfp{\mathop{\hbox{\it lfp\def\impl{\mathrel{\hbox{~~:---~~}}} %defines the program code minipage environment that I used with rules top and bottom %NOTE: you will need to change the lift value for the \rule command. This is set fo 1.5 spacing. % single spacing: 6pt/6pt and doublespacing: 0pt and 12 point (I believe) \def\progstart{\begin{center}\begin{minipage}{.95\textwidth}\tt\small\noindent\rule[0pt]{\linewidth}{0.4pt} \\} \def\progend{\rm\rule[6pt]{\linewidth}{0.4pt} \\ \end{minipage}\end{center}}
\setlength{\topmargin}{0.2in} \setlength{\leftmargin}{1.0in} \setlength{\marginparwidth}{0in} \setlength{\marginparsep}{0in} \setlength{\oddsidemargin}{0in} %\usepackage{layout} %show layout with \laout command
\newtheorem{corollary1}{Corollary} \newtheorem{definition1}{Definition} \newtheorem{example1}{Example} \newtheorem{lemma1}{Lemma} \newtheorem{remark1}{Remark} \newtheorem{conjecture1}{Conjecture} \newtheorem{theorem1}{Theorem} \newtheorem{algorithm1}{Algorithm}
\newenvironment{corollary}{\begin{corollary1} \rm}{\end{corollary1}} \newenvironment{definition}{\begin{definition1} \rm}{\end{definition1}} \newenvironment{example}{\begin{example1} \rm}{\end{example1}} \newenvironment{lemma}{\begin{lemma1} \rm}{\end{lemma1}} \newenvironment{remark}{\begin{remark1} \rm}{\end{remark1}} \newenvironment{conjecture}{\begin{conjecture1} \rm}{\end{conjecture1}} \newenvironment{theorem}{\begin{theorem1} \rm}{\end{theorem1}} \newenvironment{algorithm}{\begin{algorithm1} \rm}{\end{algorithm1}} \newenvironment{proof}[1][Proof]{\noindent\textbf{#1.} }{\ \rule{0.5em}{0.5em}}
\begin{document}
\end{document} }}}