(*<*)
theory Paper
imports "Quotient" 
        "LaTeXsugar"
begin
(*>*)

section {* Introduction *}

text {* TBD *}



(*<*)
end
(*>*)