1 (*<*)

     2 theory Paper

     3 imports "Quotient" 

     4         "LaTeXsugar"

     5 begin

     6 (*>*)

     7 

     8 section {* Introduction *}

     9 

    10 text {* TBD *}

    11 

    12 

    13 

    14 (*<*)

    15 end

    16 (*>*)