(coq.theory
 (name User)
 (package coq-user))


