equal
deleted
inserted
replaced
21 \renewcommand{\isasymemptyset}{$\varnothing$} |
21 \renewcommand{\isasymemptyset}{$\varnothing$} |
22 \newcommand{\LET}{\;\mathtt{let}\;} |
22 \newcommand{\LET}{\;\mathtt{let}\;} |
23 \newcommand{\IN}{\;\mathtt{in}\;} |
23 \newcommand{\IN}{\;\mathtt{in}\;} |
24 \newcommand{\END}{\;\mathtt{end}\;} |
24 \newcommand{\END}{\;\mathtt{end}\;} |
25 \newcommand{\AND}{\;\mathtt{and}\;} |
25 \newcommand{\AND}{\;\mathtt{and}\;} |
26 |
26 \newcommand{\fv}{\mathit{fv}} |
27 |
27 |
28 |
28 |
29 %----------------- theorem definitions ---------- |
29 %----------------- theorem definitions ---------- |
30 \newtheorem{property}{Property}[section] |
30 \newtheorem{property}{Property}[section] |
31 \newtheorem{Theorem}{Theorem}[section] |
31 \newtheorem{Theorem}{Theorem}[section] |