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