2 \usepackage{times}

     2 \usepackage{times}

     3 \usepackage{isabelle}

     3 \usepackage{isabelle}

     4 \usepackage{isabellesym}

     4 \usepackage{isabellesym}

     5 \usepackage{amsmath}

     5 \usepackage{amsmath}

     6 \usepackage{amssymb}

     6 \usepackage{amssymb}

     8 

     7 

     9 

     8 

    10 \usepackage{pdfsetup}

     9 \usepackage{pdfsetup}

    11 \urlstyle{rm}

    10 \urlstyle{rm}

    12 \isabellestyle{it}

    11 \isabellestyle{it}