1 (*<*)

     1 (*<*)

     2 theory Paper

     2 theory Paper

     3 imports 

     3 imports 

     4    "../ReStar"

     4    "../ReStar"

     5    "../Sulzmann" 

     6    "../Sulzmann" 

     6    "~~/src/HOL/Library/LaTeXsugar"

     7    "~~/src/HOL/Library/LaTeXsugar"

     7 begin

     8 begin

     8 

     9 

     9 declare [[show_question_marks = false]]

    10 declare [[show_question_marks = false]]