(coq.theory
(package Why3Bench-frama_c)
(name airborne.int32_quat_of_rmat.int32_quat_of_rmat_Why3_ide_vcg)
(theories Why3 Why3.Qed int32_quat_of_rmat.Compound Why3.Cint Why3.Cmath Why3.Cbits Why3.Cfloat int32_quat_of_rmat.Axiomatic15 Why3.Memory Why3.real))
