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


