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