(coq.theory
 (name public)
 (package public)
 (theories private))
