1 (*<*)

     2 theory Paper

     3 imports "~~/src/HOL/Library/LaTeXsugar" 

     4 begin

     5 

     6 declare [[show_question_marks = false]]

     7 

     8 section {* Introduction *}

     9 

    10 text {*

    11 mention Russo paper which concludes that technology is not 

    12 ready beyond core-calculi.

    13 

    14 

    15 

    16 *}

    17 

    18 

    19 (*<*)

    20 end

    21 (*>*)