.. note:: **License**

   This material (the Coq Reference Manual) may be distributed only
   subject to the terms and conditions set forth in the Open
   Publication License, v1.0 or later (the latest version is presently
   available at http://www.opencontent.org/openpub). Options A and B
   are not elected.
