diff -r f8d909559d19 -r 15a34e2f3b39 blob1.tex
--- a/blob1.tex	Thu Oct 22 04:08:49 2009 +0000
+++ b/blob1.tex	Thu Oct 22 04:51:16 2009 +0000
@@ -1,5 +1,7 @@
 \documentclass[11pt,leqno]{amsart}
 
+%\usepackage{amsthm}
+
 \newcommand{\pathtotrunk}{./}
 \input{text/article_preamble}
 \input{text/top_matter}