(coq.theory
(package Why3Bench-pearl)
(name queue_two_lists_vcg.queue_two_lists)
(theories Why3))
