1 %\documentclass{article}

     1 %\documentclass{article}

     2 \documentclass{llncs}

     2 \documentclass{llncs}

     3 %\textwidth 130mm

     3 %\textwidth 130mm

     4 %\textheight 200mm

     4 %\textheight 200mm

     5 %\renewenvironment{abstract}{\section*{Abstract}\small}{}

     5 %\renewenvironment{abstract}{\section*{Abstract}\small}{}

     6 \usepackage{isabelle}

     7 \usepackage{isabelle}

     7 \usepackage{isabellesym}

     8 \usepackage{isabellesym}

     8 \usepackage{amsmath}

     9 \usepackage{amsmath}

     9 \usepackage{amssymb}

    10 \usepackage{amssymb}

    10 \usepackage{mathpartir}

    11 \usepackage{mathpartir}