mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
14 lines
128 B
Plaintext
14 lines
128 B
Plaintext
theory Why3
|
|
imports
|
|
Why3_Map
|
|
Why3_Set
|
|
Why3_List
|
|
Why3_Int
|
|
Why3_Bool
|
|
Why3_Number
|
|
(* Why3_BV *)
|
|
Why3_Real
|
|
begin
|
|
|
|
end
|