chapter AFP

session "Constructor_Funs" = "HOL" +
  options [timeout = 300]
  theories
    Constructor_Funs
    Test_Constructor_Funs
  document_files
    "root.tex"