(coq.theory
 (name C)
 (package C)
 (theories B))


