mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
4 lines
54 B
Plaintext
4 lines
54 B
Plaintext
theory Unit
|
|
type unit
|
|
function unit : unit
|
|
end |