1 (*<*)

     2 theory Paper

     3 imports Main

     4 begin

     5 (*>*)

     6 

     7 section {* Introduction *}

     8 

     9 text {*

    10   

    11 *}

    12 

    13 (*<*)

    14 end

    15 (*>*)