(coq.theory
 (name Foo)
 (package local)
 (theories Bar))
