3 	"Lexer"

     3 	"Lexer"

     4         "LexerExt" 

     4         "LexerExt" 

     5         "Simplifying"

     5         "Simplifying"

     6         (*"Sulzmann"*) 

     6         (*"Sulzmann"*) 

     7         "Positions"

     7         "Positions"

     8 

     9 

     9 session Paper in "Paper" = Lex +

    10 session Paper in "Paper" = Lex +

    10   options [document = pdf, document_output = "..", document_variants="paper"]

    11   options [document = pdf, document_output = "..", document_variants="paper"]

    11   theories 

    12   theories 

    12     "~~/src/HOL/Library/LaTeXsugar"

    13     "~~/src/HOL/Library/LaTeXsugar"