diff -r f58334ec3d1d -r 8d7c569af8a7 text/article_preamble.tex
--- a/text/article_preamble.tex	Fri Oct 30 21:05:16 2009 +0000
+++ b/text/article_preamble.tex	Fri Oct 30 21:07:40 2009 +0000
@@ -5,6 +5,14 @@
 
 \input{\pathtotrunk preamble.tex}
 
+\newtheorem{lemma}[prop]{Lemma}
+
+\ifpdf
+\usepackage[pdftex,plainpages=false,hypertexnames=false,pdfpagelabels]{hyperref}
+\else
+\usepackage[dvips,plainpages=false,hypertexnames=false]{hyperref}
+\fi
+
 \usepackage{breakurl}
 
 \ifpdf