chapter AFP

session Combinatorics_Words_Lyndon (AFP) = Combinatorics_Words +
  options [timeout = 600]
  sessions
    Szpilrajn  
  theories
    Lyndon
    Lyndon_Addition
  document_files
    root.tex
    root.bib
