(coq.theory
 (name global.algebra)
 (package global))
