chapter AFP

session BNF_Operations = HOL +
  options [timeout = 600]
  sessions "HOL-Library"
  theories [document = false]
    "HOL-Library.BNF_Axiomatization"
  theories
    LFP
    GFP
    Compose
    Kill
    Lift
    Permute
    N2M
  document_files
    "root.tex"
