chapter AFP

session "Native_Word" = Word_Lib +
  options [timeout = 2400]
  sessions
    "HOL-Imperative_HOL"
  theories
    Uint64
    Uint32
    Uint16
    Uint8
    Uint
    Native_Cast
    Native_Cast_Uint
    Native_Word_Imperative_HOL
    Native_Word_Test_Emu
    Native_Word_Test_PolyML
    Native_Word_Test_PolyML2
    Native_Word_Test_PolyML64
    Native_Word_Test_Scala
  theories [condition = ISABELLE_GHC]
    Native_Word_Test_GHC
  theories [condition = ISABELLE_MLTON]
    Native_Word_Test_MLton
    Native_Word_Test_MLton2
  theories [condition = ISABELLE_OCAMLFIND]
    Native_Word_Test_OCaml
    Native_Word_Test_OCaml2
  theories [condition = ISABELLE_SMLNJ]
    Native_Word_Test_SMLNJ
    Native_Word_Test_SMLNJ2
  theories
    Uint_Userguide
  document_files
    "root.tex"
    "root.bib"