chapter AFP

session ResiduatedTransitionSystem2 (AFP) = ResiduatedTransitionSystem +
  options [timeout = 5400, names_unique = false]
  sessions
    EnrichedCategoryBasics
  theories
    CategoryOfTransitions 
    RTSCat_Interp 
    RTSEnrichedCategory
  document_files
    "root.bib"
    "root.tex"
