Library Coq.Reals.Rregisternames


Require Import Raxioms Rfunctions.

Register names for use in plugins