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