equal
deleted
inserted
replaced
34 \newcommand{\isasymBIND}{$\mathtt{bind}$} |
34 \newcommand{\isasymBIND}{$\mathtt{bind}$} |
35 \newcommand{\isasymANIL}{$\mathtt{anil}$} |
35 \newcommand{\isasymANIL}{$\mathtt{anil}$} |
36 \newcommand{\isasymACONS}{$\mathtt{acons}$} |
36 \newcommand{\isasymACONS}{$\mathtt{acons}$} |
37 \newcommand{\isasymCASE}{$\mathtt{case}$} |
37 \newcommand{\isasymCASE}{$\mathtt{case}$} |
38 \newcommand{\isasymOF}{$\mathtt{of}$} |
38 \newcommand{\isasymOF}{$\mathtt{of}$} |
|
39 \newcommand{\isasymAL}{\makebox[0mm][l]{$^\alpha$}} |
39 \newcommand{\LET}{\;\mathtt{let}\;} |
40 \newcommand{\LET}{\;\mathtt{let}\;} |
40 \newcommand{\IN}{\;\mathtt{in}\;} |
41 \newcommand{\IN}{\;\mathtt{in}\;} |
41 \newcommand{\END}{\;\mathtt{end}\;} |
42 \newcommand{\END}{\;\mathtt{end}\;} |
42 \newcommand{\AND}{\;\mathtt{and}\;} |
43 \newcommand{\AND}{\;\mathtt{and}\;} |
43 \newcommand{\fv}{\mathit{fv}} |
44 \newcommand{\fv}{\mathit{fv}} |