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{mathpartir}

     6 \usepackage{mathpartir}

     9 %\usetikzlibrary{arrows,automata,decorations,fit,calc}

     9 %\usetikzlibrary{arrows,automata,decorations,fit,calc}

    10 %\usetikzlibrary{shapes,shapes.arrows,snakes,positioning}

    10 %\usetikzlibrary{shapes,shapes.arrows,snakes,positioning}

    11 %\usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf

    11 %\usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf

    12 %\usetikzlibrary{matrix}

    12 %\usetikzlibrary{matrix}

    13 \usepackage{pdfsetup}

    13 \usepackage{pdfsetup}

    32 \renewcommand{\isasymemptyset}{$\varnothing$}

    32 \renewcommand{\isasymemptyset}{$\varnothing$}

    33 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}

    33 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}

    34 

    34 

    35 \newcommand{\isasymcalL}{\ensuremath{\cal{L}}}

    35 \newcommand{\isasymcalL}{\ensuremath{\cal{L}}}

    36 \newcommand{\isasymbigplus}{\ensuremath{\bigplus}}

    36 \newcommand{\isasymbigplus}{\ensuremath{\bigplus}}

    37 

    38 

    38 \newcommand{\bigplus}{\mbox{\Large\bf$+$}}

    39 \newcommand{\bigplus}{\mbox{\Large\bf$+$}}

    39 \begin{document}

    40 \begin{document}

    40 

    41 

    41 \title{Priority Inheritance Protocol Proved Correct}

    42 \title{Priority Inheritance Protocol Proved Correct}