(coq.theory
(package Why3Bench-pearl)
(name generate_all_trees_vcg.generate_all_trees)
(theories Why3))
