chapter Why3

session Why3 = "HOL-Word" +
  options [document = false]
  sessions
    "HOL-Library"
    "HOL-Decision_Procs"
    "HOL-Computational_Algebra"
  theories Why3
