chapter AFP

session "Transformer_Semantics" = "Quantales" +
  options [timeout = 600]

  sessions
    Order_Lattice_Props
    Quantales

  theories
    Isotone_Transformers
    Sup_Inf_Preserving_Transformers
    Powerset_Monad
    Kleisli_Transformers
    Kleisli_Quantaloid
    Kleisli_Quantale

  document_files
    "root.tex"
    "root.bib"