(coq.theory
 (name a)
 (package csimple))
