Library Coq.Reals.Rregisternames
Require
Import
Raxioms
Rfunctions
Qreals
.
Register names for use in plugins