--- a/preamble.tex	Sun Jun 20 11:00:26 2010 -0700
+++ b/preamble.tex	Sun Jun 20 11:00:57 2010 -0700
@@ -5,11 +5,7 @@
 \usepackage{amsmath,amssymb,amsfonts,amsthm}
 \usepackage{ifpdf}
 
-%\ifpdf
-%\usepackage[pdftex,all,color]{xy}
-%\else
 \usepackage[all,color]{xy}
-%\fi
 
 \usepackage[section]{placeins}
 \usepackage{leftidx}
@@ -59,21 +55,16 @@
 \newtheorem{cor}[prop]{Corollary}
 \newtheorem*{cor*}{Corollary}
 \newtheorem*{exc}{Exercise}
-%\theoremstyle{definition}
 \newtheorem{defn}[prop]{Definition}         % numbered definition
 \newtheorem*{defn*}{Definition}             % unnumbered definition
 \newtheorem{question}{Question}
 \newtheorem{property}{Property}
 \newtheorem{axiom}{Axiom}
 \newtheorem{module-axiom}{Module Axiom}
-%\newenvironment{axiom-numbered}[2]{\textbf{Axiom #1(#2)}\it}{}
-%\newenvironment{preliminary-axiom}[2]{\textbf{Axiom #1 [preliminary] (#2)}\it}{}
-\newtheorem{example}[prop]{Example}
-%\newenvironment{example}[1]{\textbf{Example (#1)}}{} %% how do you do numbering?
 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?
 \numberwithin{equation}{section}
-%\numberwithin{figure}{section}
-%\newtheorem{nonaxiom}{Not-An-Axiom}
+%% example is defined in article_preamble.tex, for compatibility with beamer.
+
 
 % Marginal notes in draft mode -----------------------------------
 \newcommand{\scott}[1]{\stepcounter{comment}{{\color{blue} $\star^{(\arabic{comment})}$}}\marginpar{\color{blue}  $\star^{(\arabic{comment})}$ \usefont{T1}{scott}{m}{n}  #1 --S}}     % draft mode