1 \documentclass{acmconf}

     1 \documentclass{acmconf}

     2 \usepackage{isabelle}

     2 \usepackage{isabelle}

     3 \usepackage{isabellesym}

     3 \usepackage{isabellesym}

     4 \usepackage{amsmath}

     4 \usepackage{amsmath}

     5 \usepackage{amssymb}

     5 \usepackage{amssymb}

     6 \usepackage{tikz}

     7 \usepackage{tikz}

     7 \usepackage{pgf}

     8 \usepackage{pgf}

     8 \usepackage{pdfsetup}

     9 \usepackage{pdfsetup}

     9 \usepackage{ot1patch}

    10 \usepackage{ot1patch}

    10 

    11 

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

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

    26 \newcommand{\fv}{\mathit{fv}}

    27 \newcommand{\fv}{\mathit{fv}}

    27 

    28 

    28 

    29 

    29 %----------------- theorem definitions ----------

    30 %----------------- theorem definitions ----------

    34 

    37 

    35 %-------------------- environment definitions -----------------

    38 %-------------------- environment definitions -----------------

    36 \newenvironment{example}[0]{\begin{Example} \it}{\end{Example}}

    39 \newenvironment{example}[0]{\begin{Example} \it}{\end{Example}}

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

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

    38 

    41