chapter AFP
session "Simplicial_complexes_and_boolean_functions" = Sepref_Prereq +
  options [timeout = 600]
  sessions
    Jordan_Normal_Form
    ROBDD
  theories
    BDD
    Bij_betw_simplicial_complex_bool_func
    Binary_operations
    Boolean_functions
    Evasive
    ListLexorder
    MkIfex
    Simplicial_complex
  document_files
    "root.tex"
    "root.bib"
