changeset 336 | 7a5a73ec8961 |
parent 323 | 6cc92b273d44 |
child 375 | faac9ca8f092 |
--- a/preamble.tex Thu Jun 03 20:58:39 2010 -0700 +++ b/preamble.tex Thu Jun 03 21:16:36 2010 -0700 @@ -70,6 +70,7 @@ \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}