equal
deleted
inserted
replaced
38 \newcommand{\IN}{\;\mathtt{in}\;} |
38 \newcommand{\IN}{\;\mathtt{in}\;} |
39 \newcommand{\END}{\;\mathtt{end}\;} |
39 \newcommand{\END}{\;\mathtt{end}\;} |
40 \newcommand{\AND}{\;\mathtt{and}\;} |
40 \newcommand{\AND}{\;\mathtt{and}\;} |
41 \newcommand{\fv}{\mathit{fv}} |
41 \newcommand{\fv}{\mathit{fv}} |
42 |
42 |
43 |
43 \newcommand{\numbered}[1]{\refstepcounter{equation}{\rm(\arabic{equation})}\label{#1}} |
44 %----------------- theorem definitions ---------- |
44 %----------------- theorem definitions ---------- |
45 \theoremstyle{plain} |
45 \theoremstyle{plain} |
46 \newtheorem{thm}{Theorem}[section] |
46 \newtheorem{thm}{Theorem}[section] |
47 \newtheorem{property}[thm]{Property} |
47 \newtheorem{property}[thm]{Property} |
48 \newtheorem{lemma}[thm]{Lemma} |
48 \newtheorem{lemma}[thm]{Lemma} |
49 \newtheorem{defn}[thm]{Definition} |
49 \newtheorem{defn}[thm]{Definition} |
50 \newtheorem{exmple}[thm]{Example} |
50 \newtheorem{exmple}[thm]{Example} |
51 |
51 |
52 %-------------------- environment definitions ----------------- |
52 %-------------------- environment definitions ----------------- |
53 \newenvironment{example}[0]{\begin{Example} \it}{\end{Example}} |
|
54 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{} |
53 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{} |
55 |
54 |
56 |
55 |
57 \begin{document} |
56 \begin{document} |
58 |
57 |