\documentclass[11pt]{article}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage[hypertex]{hyperref} % in case of problem, use next line instead
%\usepackage{hyperref}
\newtheorem{define}{Definition}
%\newcommand{\Z}{{\bf Z}}
%\usepackage{psfig}
\input{defs.tex}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Definitions: If you want to add definitions commands and macros to the
%% scribe, please do it in this space
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Heading: In the parentheses below, write the sequential number of the
%% talk, the talk date, the name of the speaker, and the name or names of
%% whoever wrote the scribe (seperated by commas).
\lecture{-1}{May 35, 1984}{Robert Krauthgamer}{Lorem Ipsum}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Body: from here on it's your territory - write your scribe here.
\section{A proof of some theorem}
In this talk we prove the following theorem.
\begin{theorem}
This is a wonderful scribe indeed!
\end{theorem}
\begin{proof}
Suppose for the sake of contradiction that this scribe is not
wonderful. To put it formally, we write
\begin{equation}
\label{eq:not wonderful}
This\ scribe\neq\ wonderful.
\end{equation}
However, all scribes for this course are wonderful, in conradiction with~\eqref{eq:not wonderful}.
\end{proof}
\end{document}