chapter AFP

session VTcomp_Lib = Sepref_IICF +
  options [document=false]
  theories
    "lib/VTcomp"
    "lib/DF_System"
    Snippets

session VerifyThis2018 (AFP) = VTcomp_Lib +
  options [timeout = 600]
  theories
    Challenge1
    Challenge1_short
    Challenge2
    Challenge3
  document_files
    "root.tex"