lib/isabelle/ROOT.2021-1

   1 chapter Why3
   2
   3 session Why3 = HOL +
   4   options [document = false]
   5   sessions
   6     "HOL-Library"
   7     "HOL-Decision_Procs"
   8     "HOL-Computational_Algebra"
   9   theories Why3