--- 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}