\documentclass{article}        % Your input file must contain these two lines 
\usepackage{amsfonts}


\newtheorem{defn}{Definition}
\newtheorem{propn}{Proposition}
\newtheorem{example}{Example}


\begin{document}               % plus the \end{document} command at the end.



\end{document}                 % The input file ends with this command.