blob: 35837f8407b1b3d31bfd231d9efa5daf2943320f (
plain)
1
2
3
4
5
6
7
|
.. 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.
|
