--- a/preamble.tex	Wed Dec 16 19:30:13 2009 +0000
+++ b/preamble.tex	Thu Dec 17 04:37:12 2009 +0000
@@ -73,7 +73,8 @@
 \newtheorem{axiom}{Axiom}
 \newenvironment{axiom-numbered}[2]{\textbf{Axiom #1(#2)}\it}{}
 \newenvironment{preliminary-axiom}[2]{\textbf{Axiom #1 [preliminary] (#2)}\it}{}
-\newenvironment{example}[1]{\textbf{Example (#1)}}{} %% how do you do numbering?
+\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}