--- a/Paper/document/root.tex	Wed Oct 06 08:13:09 2010 +0100
+++ b/Paper/document/root.tex	Wed Oct 06 21:32:44 2010 +0100
@@ -41,6 +41,7 @@
 \newcommand{\isasymOF}{$\mathtt{of}$}
 \newcommand{\isasymAL}{\makebox[0mm][l]{$^\alpha$}}
 \newcommand{\isasymPRIME}{\makebox[0mm][l]{$'$}}
+\newcommand{\isasymFRESH}{\#}
 \newcommand{\LET}{\;\mathtt{let}\;}
 \newcommand{\IN}{\;\mathtt{in}\;}
 \newcommand{\END}{\;\mathtt{end}\;}
@@ -55,7 +56,7 @@
 %%\newtheorem{lemma}[thm]{Lemma}
 %%\spnewtheorem{defn}[theorem]{Definition}
 %%\spnewtheorem{exmple}[theorem]{Example}
-
+\spnewtheorem{myproperty}{Property}{\bfseries}{\rmfamily}
 %-------------------- environment definitions -----------------
 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{}