4 \usepackage{isabelle}

     4 \usepackage{isabelle}

     5 \usepackage{isabellesym}

     5 \usepackage{isabellesym}

     6 \usepackage{charter}

     6 \usepackage{charter}

     7 \usepackage[pdftex]{graphicx}

     7 \usepackage[pdftex]{graphicx}

     8 \usepackage{proof}

     8 \usepackage{proof}

    10 \usepackage{url}

     9 \usepackage{url}

    11 \usepackage[a4paper,hscale=0.67,vscale=0.76]{geometry}

    10 \usepackage[a4paper,hscale=0.67,vscale=0.76]{geometry}

    12 \usepackage{lineno}

    11 \usepackage{lineno}

    13 \usepackage{xcolor}

    12 \usepackage{xcolor}

    14 \usepackage{framed}

    13 \usepackage{framed}