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