thys/ROOT
changeset 287 95b3880d428f
parent 286 804fbb227568
child 330 89e6605c4ca4
equal deleted inserted replaced
286:804fbb227568 287:95b3880d428f
     3         "Spec"
     3         "Spec"
     4 	(*"SpecExt"*)
     4 	(*"SpecExt"*)
     5         "Lexer"
     5         "Lexer"
     6         (*"LexerExt"*)
     6         (*"LexerExt"*)
     7         "Simplifying"
     7         "Simplifying"
     8         (*"Sulzmann"*) 
     8         "Sulzmann" 
     9         "Positions"
     9         "Positions"
    10 	(*"PositionsExt"*)
    10 	(*"PositionsExt"*)
    11         "Exercises"
    11         "Exercises"
    12 
    12 
    13 session Paper in "Paper" = Lex +
    13 session Paper in "Paper" = Lex +