1 \documentclass[11pt,a4paper]{article}

     1 \documentclass[11pt,a4paper]{article}

     2 \usepackage{isabelle,isabellesym}

     2 \usepackage{isabelle,isabellesym}

     3 \usepackage{amsmath}

     3 \usepackage{amsmath}

     4 \usepackage{tikz}

     5 \usepackage{tikz}

     5 \usetikzlibrary{arrows,automata,decorations,fit,calc}

     6 \usetikzlibrary{arrows,automata,decorations,fit,calc}

     6 \usetikzlibrary{shapes,shapes.arrows,snakes,positioning}

     7 \usetikzlibrary{shapes,shapes.arrows,snakes,positioning}

     7 \usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf

     8 \usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf

     8 \usetikzlibrary{matrix}

     9 \usetikzlibrary{matrix}

    24 

    25 

    25 %\usepackage[latin1]{inputenc}

    26 %\usepackage[latin1]{inputenc}

    26   %for \<onesuperior>, \<onequarter>, \<twosuperior>, \<onehalf>,

    27   %for \<onesuperior>, \<onequarter>, \<twosuperior>, \<onehalf>,

    27   %\<threesuperior>, \<threequarters>, \<degree>

    28   %\<threesuperior>, \<threequarters>, \<degree>

    28 

    29 

    30   %for \<Sqinter>

    31   %for \<Sqinter>

    31 

    32 

    32 %\usepackage{eufrak}

    33 %\usepackage{eufrak}

    33   %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)

    34   %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)

    34 

    35 

    43 \isabellestyle{it}

    44 \isabellestyle{it}

    44 

    45 

    45 % for uniform font size

    46 % for uniform font size

    46 %\renewcommand{\isastyle}{\isastyleminor}

    47 %\renewcommand{\isastyle}{\isastyleminor}

    47 

    48 

    48 

    56 

    49 \begin{document}

    57 \begin{document}

    50 

    58 

    51 \title{tphols-2011}

    59 \title{tphols-2011}

    52 \author{By xingyuan}

    60 \author{By xingyuan}