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