3 \usepackage{isabelle}

     3 \usepackage{isabelle}

     4 \usepackage{isabellesym}

     4 \usepackage{isabellesym}

     5 \usepackage{times}

     5 \usepackage{times}

     6 \usepackage{amssymb}

     6 \usepackage{amssymb}

     7 \usepackage{amsmath}

     7 \usepackage{amsmath}

     8 \usepackage{mathpartir}

     9 \usepackage{mathpartir}

     9 \usepackage{pdfsetup}

    10 \usepackage{pdfsetup}

    10 \usepackage{tikz}

    11 \usepackage{tikz}

    11 \usepackage{pgf}

    12 \usepackage{pgf}

    12 

    13 

    15 \let\footnote=\endnote

    16 \let\footnote=\endnote

    16 

    17 

    17 % urls in roman style, theory text in math-similar italics

    18 % urls in roman style, theory text in math-similar italics

    18 \urlstyle{rm}

    19 \urlstyle{rm}

    19 \isabellestyle{it}

    20 \isabellestyle{it}

    20 

    26 

    21 % for uniform font size

    27 % for uniform font size

    22 %\renewcommand{\isastyle}{\isastyleminor}

    28 %\renewcommand{\isastyle}{\isastyleminor}

    23 

    29 

    24 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}

    30 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}