1 \documentclass[10pt, conference, compsocconf]{IEEEtran}

     1 \documentclass[10pt, conference, compsocconf]{IEEEtran}

     2 \usepackage{isabelle}

     2 \usepackage{isabelle}

     3 \usepackage{isabellesym}

     3 \usepackage{isabellesym}

     4 \usepackage{times}

     4 \usepackage{times}

     5 \usepackage{amssymb}

     5 \usepackage{amssymb}

     6 \usepackage{mathpartir}

     7 \usepackage{mathpartir}

     7 \usepackage{pdfsetup}

     8 \usepackage{pdfsetup}

     8 \usepackage{tikz}

     9 \usepackage{tikz}

     9 \usepackage{pgf}

    10 \usepackage{pgf}

    10 

    11