--- a/Paper/document/root.tex	Mon Mar 29 22:26:19 2010 +0200
+++ b/Paper/document/root.tex	Tue Mar 30 02:55:18 2010 +0200
@@ -40,7 +40,7 @@
 \newcommand{\AND}{\;\mathtt{and}\;}
 \newcommand{\fv}{\mathit{fv}}
 
-
+\newcommand{\numbered}[1]{\refstepcounter{equation}{\rm(\arabic{equation})}\label{#1}}
 %----------------- theorem definitions ----------
 \theoremstyle{plain}
 \newtheorem{thm}{Theorem}[section]
@@ -50,7 +50,6 @@
 \newtheorem{exmple}[thm]{Example}
 
 %-------------------- environment definitions -----------------
-\newenvironment{example}[0]{\begin{Example} \it}{\end{Example}}
 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{}