chapter AFP

session Pattern_Completeness = Sorted_Terms +
  options [timeout = 600]
  sessions
    Certification_Monads
  theories
    Singleton_List
    Finite_IDL_Solver_Interface    
  theories     
    Pattern_Completeness     
    Test_Pat_Complete 
  document_files
    "root.tex"
    "root.bib"
