chapter AFP

session FOL_Seq_Calc3 = "HOL-Library" +
  options [timeout = 300]
  sessions
    Abstract_Soundness
    Abstract_Completeness
  theories
    List_Syntax
    Fair_Stream
    Syntax
    Semantics
    Encoding
    Prover
    Export
    Soundness
    Completeness
    Result
  document_files
    "root.tex"
    "root.bib"
  export_files (in "./program") [3] "*:**.hs" 

