chapter AFP

session Knuth_Morris_Pratt = Sepref_IICF +
  options [timeout = 600]
  theories
    KMP
  document_files
    root.tex
    root.bib
