\documentclass{article}
\textwidth 130mm
\textheight 200mm
\renewenvironment{abstract}{\section*{Abstract}\small}{}
\newtheorem{definition}{Definition}
\newtheorem{example}[definition]{Example}
\newtheorem{application}[definition]{Application}
\newtheorem{theorem}[definition]{Theorem}
\newtheorem{exercise}[definition]{Exercise}
\newtheorem{lemma}[definition]{Lemma}
\newtheorem{notation}[definition]{Notation}
\newtheorem{observation}[definition]{Observation}
\newtheorem{proposition}[definition]{Proposition}
\newtheorem{proposal}[definition]{Proposal}
\newtheorem{remark}[definition]{Remark}
\newtheorem{result}[definition]{Result}
\newtheorem{conjecture}[definition]{Conjecture}
\newtheorem{claim}[definition]{Claim}
\newtheorem{assumption}[definition]{Assumption}
\newtheorem{corollary}[definition]{Corollary}
\makeatletter
\renewcommand{\@begintheorem}[2]{ % not in italics
   \trivlist\item[\hskip\labelsep{\bf #1\ #2}]}
\renewcommand{\@opargbegintheorem}[3]{\trivlist
   \item[\hskip \labelsep{\bf #1\ #2\ (#3)}]}
\makeatother
\newtheorem{proof}{Proof}
\renewcommand{\theproof}{} % no numbers on proofs
% Additions needed
\usepackage{latexsym}
\input{diagrams} % Paul Taylor's Macro Package
% Standard again
\begin{document}
\input{GlaKenKha.tex}
\end{document}

