chapter AFP

session "Dominance_CHK" = HOL +
  options [timeout=300]
  sessions 
    "HOL-Data_Structures"
    "HOL-Library"
    "List-Index"
    "Jinja"
  theories
    Cfg
    Dom_Semi_List
    Dom_Kildall
    Dom_Kildall_Property
    Dom_Kildall_Correct
    Sorted_List_Operations2
    Sorted_Less2  
  document_files
    "root.bib"
    "root.tex"