chapter Why3

session Why3 = "HOL-Word" +
  options [document = false]
  theories Why3
