1 (*<*)

     2 theory Paper

     3 imports 

     4    "../Lexer"

     5    "../Simplifying" 

     6    "../Positions"

     7    "../SizeBound4" 

     8    "HOL-Library.LaTeXsugar"

     9 begin

    10 (*>*)

    11 text {*

    12 

    13 \cite{AusafDyckhoffUrban2016}

    14 

    15 %%\bibliographystyle{plain}

    16 \bibliography{root}

    17 *}

    18 

    19 (*<*)

    20 end

    21 (*>*)