chapter Why3

session Why3 = HOL +
  options [document = false]
  theories Why3
