session Why3STD = NTP4Verif +
theories
  "Ref_Ref"
  "map_MapEq"
  "map_MapExchange"
  "int_NumOf"
  "map_MapPermut"
  "int_Sum"
  "array_IntArraySorted"
  "real_Truncate"
  "WellFounded_WellFounded"
  "bintree_Tree"
  "int_IntInf"
  "bintree_Size"
  "map_Const"
  "bintree_Occ"
  "int_Fact"
  "matrix_Matrix"
  "cursor_Cursor"
  "bintree_Height"
  "int_Div2"
  "int_Fibonacci"
  "ieee_float_RoundingMode"
  "ieee_float_Float64"
  "array_Inversions"
  "ocaml_Exceptions"
  "int_Iter"
  "queue_Queue"
  "pigeon_Pigeonhole"
  "floating_point_Rounding"
  "floating_point_SingleFormat"
  "floating_point_Single"
  "map_MapExt"
  "random_State"
  "random_Random"
  "string_StringBuffer"
  "bintree_Inorder"
  "bintree_InorderLength"
  "map_MapInjection"
  "stack_Stack"
  "exn_Exn"
  "io_StdIO"
  "debug_Debug"
  "real_Sum"
  "ufloat_USingle"
  "ufloat_HelperLemmas"
  "ufloat_USingleLemmas"
  "ufloat_UDouble"
  "ufloat_UDoubleLemmas"
  "string_StringRealization"
  "hashtbl_Hashtbl"
  "pqueue_Pqueue"
  "pqueue_PqueueNoDup"
  "relations_WellFounded"
  "Qed_Qed"
  "Memory_Memory"
  "Cint_Cint"
  "Cbits_Cbits"
