(coq.theory
 (name minimal)
 (flags -w -notation-overridden))
