# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1284575594 18000
# Node ID 07b79f81c956d46b4077495af6d3101906a45955
# Parent  2b1d52c41ac5694ab7b86c35914120dfb4e5c54c
numbering axioms and module axioms as 7.x

diff -r 2b1d52c41ac5 -r 07b79f81c956 preamble.tex
--- a/preamble.tex	Wed Sep 15 13:30:15 2010 -0500
+++ b/preamble.tex	Wed Sep 15 13:33:14 2010 -0500
@@ -62,8 +62,8 @@
 \newtheorem*{defn*}{Definition}             % unnumbered definition
 \newtheorem{question}{Question}
 \newtheorem{property}{Property}
-\newtheorem{axiom}{Axiom}
-\newtheorem{module-axiom}{Module Axiom}
+\newtheorem{axiom}{Axiom}[section]
+\newtheorem{module-axiom}{Module Axiom}[section]
 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?
 \newtheorem{rem*}[prop]{Remark}
 \newtheorem{remark}[prop]{Remark}
diff -r 2b1d52c41ac5 -r 07b79f81c956 text/ncat.tex
--- a/text/ncat.tex	Wed Sep 15 13:30:15 2010 -0500
+++ b/text/ncat.tex	Wed Sep 15 13:33:14 2010 -0500
@@ -1093,8 +1093,7 @@
 \end{itemize}
 In other words, we have a zig-zag of equivalences starting at $a$ and ending at $\hat{a}$.
 The idea of the proof is to produce a similar zig-zag where everything antirefines to the same
-disjoint union of balls, and then invoke the associativity axiom \ref{nca-assoc}.
-\nn{hmmm... it would be nicer if this were ``7.xx" instead of ``4"}
+disjoint union of balls, and then invoke Axiom \ref{nca-assoc} which ensures associativity.
 
 Let $z$ be a decomposition of $W$ which is in general position with respect to all of the 
 $x_i$'s and $v_i$'s.