39 \newcommand{\isasymACONS}{$\mathtt{acons}$}

    39 \newcommand{\isasymACONS}{$\mathtt{acons}$}

    40 \newcommand{\isasymCASE}{$\mathtt{case}$}

    40 \newcommand{\isasymCASE}{$\mathtt{case}$}

    41 \newcommand{\isasymOF}{$\mathtt{of}$}

    41 \newcommand{\isasymOF}{$\mathtt{of}$}

    42 \newcommand{\isasymAL}{\makebox[0mm][l]{$^\alpha$}}

    42 \newcommand{\isasymAL}{\makebox[0mm][l]{$^\alpha$}}

    43 \newcommand{\isasymPRIME}{\makebox[0mm][l]{$'$}}

    43 \newcommand{\isasymPRIME}{\makebox[0mm][l]{$'$}}

    44 \newcommand{\LET}{\;\mathtt{let}\;}

    45 \newcommand{\LET}{\;\mathtt{let}\;}

    45 \newcommand{\IN}{\;\mathtt{in}\;}

    46 \newcommand{\IN}{\;\mathtt{in}\;}

    46 \newcommand{\END}{\;\mathtt{end}\;}

    47 \newcommand{\END}{\;\mathtt{end}\;}

    47 \newcommand{\AND}{\;\mathtt{and}\;}

    48 \newcommand{\AND}{\;\mathtt{and}\;}

    48 \newcommand{\fv}{\mathit{fv}}

    49 \newcommand{\fv}{\mathit{fv}}

    53 %%\spnewtheorem{thm}[section]{Theorem}

    54 %%\spnewtheorem{thm}[section]{Theorem}

    54 %%\newtheorem{property}[thm]{Property}

    55 %%\newtheorem{property}[thm]{Property}

    55 %%\newtheorem{lemma}[thm]{Lemma}

    56 %%\newtheorem{lemma}[thm]{Lemma}

    56 %%\spnewtheorem{defn}[theorem]{Definition}

    57 %%\spnewtheorem{defn}[theorem]{Definition}

    57 %%\spnewtheorem{exmple}[theorem]{Example}

    58 %%\spnewtheorem{exmple}[theorem]{Example}

    59 %-------------------- environment definitions -----------------

    60 %-------------------- environment definitions -----------------

    60 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{}

    61 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{}

    61 

    62 

    62 \addtolength{\textwidth}{2mm}

    63 \addtolength{\textwidth}{2mm}

    63 \addtolength{\parskip}{-0.3mm}

    64 \addtolength{\parskip}{-0.3mm}