# HG changeset patch
# User scott@6e1638ff-ae45-0410-89bd-df963105f760
# Date 1256936860 0
# Node ID 8d7c569af8a752829c645961e960739a69f7cf00
# Parent  f58334ec3d1da34cb282740c8aad2d555699435e
...

diff -r f58334ec3d1d -r 8d7c569af8a7 preamble.tex
--- a/preamble.tex	Fri Oct 30 21:05:16 2009 +0000
+++ b/preamble.tex	Fri Oct 30 21:07:40 2009 +0000
@@ -47,11 +47,6 @@
 \end{array}\hspace{-3pt}}}
 \newcommand{\placefig}[2]{\includegraphics[width=#1\linewidth]{\pathtodiagrams #2}}
 
-\ifpdf
-\usepackage[pdftex,plainpages=false,hypertexnames=false,pdfpagelabels]{hyperref}
-\else
-\usepackage[dvips,plainpages=false,hypertexnames=false]{hyperref}
-\fi
 \newcommand{\arxiv}[1]{\href{http://arxiv.org/abs/#1}{\tt arXiv:\nolinkurl{#1}}}
 \newcommand{\doi}[1]{\href{http://dx.doi.org/#1}{{\tt DOI:#1}}}
 \newcommand{\euclid}[1]{\href{http://projecteuclid.org/euclid.cmp/#1}{{\tt at Project Euclid: #1}}}
@@ -60,13 +55,12 @@
 
 % THEOREMS -------------------------------------------------------
 \theoremstyle{plain}
-\newtheorem*{fact}{Fact}
+%\newtheorem*{fact}{Fact}
 \newtheorem{prop}{Proposition}[section]
 \newtheorem{conj}[prop]{Conjecture}
 \newtheorem{thm}[prop]{Theorem}
 \newtheorem{lem}[prop]{Lemma}
 \newtheorem{claim}[prop]{Claim}
-\newtheorem{lemma}[prop]{Lemma}
 \newtheorem{cor}[prop]{Corollary}
 \newtheorem*{cor*}{Corollary}
 \newtheorem*{exc}{Exercise}
@@ -203,3 +197,5 @@
 \setlength{\parsep}{\parskip}}%
 \item[]}{\end{list}}
 % ----------------------------------------------------------------
+
+
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