1 session "Lex" = HOL +

     1 session "Lex" = HOL +

     2   theories [document = false]

     2   theories [document = false]

     3         "Spec"

     3         "Spec"

     4         "Lexer"

     5         "Lexer"

     5         "LexerExt"

     6         "LexerExt"

     6         "Simplifying"

     7         "Simplifying"

     7         (*"Sulzmann"*) 

     8         (*"Sulzmann"*) 

     8         "Positions"

     9         "Positions"

     9         "Exercises"

    11         "Exercises"

    10 

    12 

    11 session Paper in "Paper" = Lex +

    13 session Paper in "Paper" = Lex +

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

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

    13   theories 

    15   theories