(coq.theory
 (name b)
 (package subtheory)
 (theories foo.a))
