(coq.theory
(package Why3Bench-pearl)
(name prover.Firstorder_symbol_spec_vcg)
(theories prover.Nat prover.OptionFuncs prover.Functions prover.Sum Why3))
