1 \documentclass[runningheads]{llncs}

     1 \documentclass[runningheads]{llncs}

     2 \usepackage{times}

     3 \usepackage{times}

     3 \usepackage{isabelle}

     4 \usepackage{isabelle}

     4 \usepackage{isabellesym}

     5 \usepackage{isabellesym}

     5 \usepackage{amsmath}

     6 \usepackage{amsmath}

     6 \usepackage{amssymb}

     7 \usepackage{amssymb}

    10 \usetikzlibrary{positioning}

    11 \usetikzlibrary{positioning}

    11 \usepackage{pdfsetup}

    12 \usepackage{pdfsetup}

    12 %%\usepackage{stmaryrd}

    13 %%\usepackage{stmaryrd}

    13 \usepackage{url}

    14 \usepackage{url}

    14 \usepackage{color}

    15 \usepackage{color}

    15 

    18 

    16 \titlerunning{POSIX Lexing with Derivatives of Regular Expressions}

    19 \titlerunning{POSIX Lexing with Derivatives of Regular Expressions}

    17 

    20 

    18 \urlstyle{rm}

    21 \urlstyle{rm}

    19 \isabellestyle{it}

    22 \isabellestyle{it}