(coq.theory
(package Why3Bench-pearl)
(name prover.Unification_vcg)
(theories prover.Firstorder_term_spec prover.Predicates prover.OptionFuncs prover.Functions prover.Firstorder_symbol_spec prover.Firstorder_term_impl prover.Unification prover.Choice prover.Sum prover.Nat prover.Firstorder_symbol_impl Why3 prover.BacktrackArray Why3.why3.Ref))
