ROOT

session "cap9-spec" = "HOL-Word" +
  description {*
    Author: Mikhail Mandrykin, ISP RAS
    Author: Ilya Shchepetkov, ISP RAS

    Formal specification of the Cap9 kernel.
  *}
  options [
    document = pdf,
    document_output = "output",
    document_variants = "Cap9IsabelleSpec"
  ]
  theories [document = false]
    "Word_Lib/Word_Lemmas"
    "HOL-Library.Adhoc_Overloading"
  theories
    Cap9
  document_files
    "root.tex"