Library Coqdoc.bug12742

Xxx xxxx xx xxxxx xxxxxxx xxxxx xxx xxxxxxxx xxxxxxx xxx xxx xxxx xxxxxxxxxxxxxx: XX xxx xxxx xxxx xxxxxxxxx xxxxxxxxxxxxx xx xxxxx. Xxx xx xxxxx xxx xxxx xxx xxxxxxxxxxx xx xxxxxxxx xxxxx xxx xxxxxxx xxxxxxxxx xxxxxx xx xxxxxxx xxxxxxxxxxxx. Xxxxx xxxxx xxxx xxxx xxx xxxxx xxxxxxxxxx:

• Xxxxxxxxx xxxxxxx xxxxxxx xxxxxxx "xxxx-xxxxxx" xxxxxxxxx: xxx xxxx xxxx x xxxxxxxxxxx xxx xxxx xxxxxx xxxxxx xxxx xx xxxxx (xx, xxxxxxxxx, xxx'x xxxx: xxx xxx xx xxxx). Xxxxxxxx xxxxx xxxxxxxxxxxx xxx xxxxx xxxxxxx xx xxxxxxxx xxxxxxx, xxxx xxxx xxxxxxx xxxxxxxxxxxx xx xxxxxx xxxxx xxx xxx xxxx xxx xx x xxxxxxxxx xx xxxxxxxx. Xxxxxxxx xx xxxx xxxxx xxxxxxx XXX xxxxxxx, XXX xxxxxxx, xxx xxxxx xxxxxxxx.
• Xxxxx xxxxxxxxxx xxx xxxxxx xxxxx xxxx xxxxxxxx xxx xxxx xxxxxxx xxxxxxx xx xxxxxxxx xxxxxx xxxxx xxxxxxxxx xx xxxxx xxxxxxxx xxx xxxx xxxxxxxxx xxxxxxx. Xxxxxx xxxx xxxxx xxxxxxxxxx xxxxxxx Xxxxxxxx, Xxxx, Xxxxx, XXXx, XXX, xxx Xxx, xxxxx xxxx xxxxxx.