Autoupdate documentation with coqdoc to d925892

Generated with `make html` on commit:

commit d925892f49f66b96bf60ddf574af065aa744ecfd
Author: Jason Gross <jgross@mit.edu>
Date:   Fri Sep 27 19:17:47 2013 -0400

    Anomaly:

    Toplevel input, characters 0-323:
    Anomaly: Uncaught exception Not_found(_). Please report.
    frame @ file "toplevel/vernac.ml", line 343, characters 6-16
    raise @ file "toplevel/vernac.ml", line 335, characters 18-25
    frame @ file "toplevel/vernac.ml", line 327, characters 14-104
    raise @ file "library/states.ml", line 40, characters 45-46
    frame @ file "library/states.ml", line 38, characters 4-7
    raise @ file "toplevel/vernacentries.ml", line 1829, characters 12-13
    frame @ file "toplevel/vernacentries.ml", line 1818, characters 4-12
    frame @ file "toplevel/command.ml", line 175, characters 4-86
    frame @ file "toplevel/command.ml", line 100, characters 16-89
    frame @ file "pretyping/pretyping.ml", line 780, characters 2-70
    frame @ file "pretyping/pretyping.ml", line 711, characters 3-36
    frame @ file "pretyping/pretyping.ml", line 438, characters 17-49
    rame @ file "pretyping/pretyping.ml", line 417, characters 13-52
    frame @ file "pretyping/pretyping.ml", line 455, characters 15-60
    frame @ file "pretyping/pretyping.ml", line 455, characters 15-60
    frame @ file "pretyping/pretyping.ml", line 455, characters 15-60
    frame @ file "pretyping/pretyping.ml", line 455, characters 15-60
    frame @ file "pretyping/pretyping.ml", line 455, characters 15-60
    frame @ file "pretyping/evarutil.ml", line 34, characters 17-30
    raise @ unknown
    frame @ file "pretyping/coercion.ml", line 466, characters 6-81
    raise @ unknown
    frame @ file "pretyping/coercion.ml", line 431, characters 7-34
    frame @ file "pretyping/evarconv.ml", line 950, characters 8-42
    frame @ file "pretyping/evarconv.ml", line 159, characters 8-17
    frame @ file "pretyping/evarconv.ml", line 226, characters 12-63
    frame @ file "pretyping/evarconv.ml", line 171, characters 15-26
    frame @ file "pretyping/evarconv.ml", line 172, characters 33-41
    frame @ file "pretyping/evarconv.ml", line 137, characters 12-18
    raise @ unknown
    frame @ file "pretyping/evarsolve.ml", line 1404, characters 10-69
    raise @ unknown
    frame @ file "pretyping/evarsolve.ml", line 1306, characters 22-71
    frame @ file "pretyping/evarsolve.ml", line 1283, characters 13-32
    frame @ file "pretyping/termops.ml", line 381, characters 15-38
    frame @ file "pretyping/termops.ml", line 385, characters 16-34
    frame @ file "array.ml", line 80, characters 21-40
    frame @ file "pretyping/termops.ml", line 385, characters 16-34
    frame @ file "array.ml", line 80, characters 21-40
    frame @ file "pretyping/evarsolve.ml", line 1231, characters 13-74
    frame @ file "pretyping/evarsolve.ml", line 486, characters 4-797
    frame @ file "pretyping/evarsolve.ml", line 494, characters 22-112
    frame @ file "pretyping/evarsolve.ml", line 455, characters 12-62
    raise @ unknown
    frame @ file "pretyping/evarsolve.ml", line 1329, characters 15-58
    frame @ file "pretyping/evarsolve.ml", line 1050, characters 8-61
    frame @ file "pretyping/evarconv.ml", line 137, characters 12-18
    frame @ file "pretyping/evarconv.ml", line 159, characters 8-17frame @
    file "array.ml", line 80, characters 21-40
    frame @ file "pretyping/termops.ml", line 385, characters 16-34
    frame @ file "array.ml", line 80, characters 21-40
    frame @ file "pretyping/evarsolve.ml", line 1231, characters 13-74
    frame @ file "pretyping/evarsolve.ml", line 486, characters 4-797
    frame @ file "pretyping/evarsolve.ml", line 494, characters 22-112
    frame @ file "pretyping/evarsolve.ml", line 455, characters 12-62
    raise @ unknown
    frame @ file "pretyping/evarsolve.ml", line 1329, characters 15-58
    frame @ file "pretyping/evarsolve.ml", line 1050, characters 8-61
    frame @ file "pretyping/evarconv.ml", line 137, characters 12-18
    frame @ file "pretyping/evarconv.ml", line 159, characters 8-17
    frame @ file "pretyping/evarconv.ml", line 226, characters 12-63
    frame @ file "pretyping/evarconv.ml", line 171, characters 15-26
    frame @ file "pretyping/evarconv.ml", line 172, characters 33-41
    frame @ file "pretyping/evarconv.ml", line 137, characters 12-18
    frame @ file "pretyping/evarconv.ml", line 159, characters 8-17
    frame @ file "pretyping/evarconv.ml", line 226, characters 12-63
    frame @ file "pretyping/evarconv.ml", line 171, characters 15-26
    frame @ file "pretyping/evarconv.ml", line 172, characters 33-41
    frame @ file "pretyping/evarconv.ml", line 137, characters 12-18
    frame @ file "pretyping/evarconv.ml", line 159, characters 8-17
    frame @ file "pretyping/evarconv.ml", line 226, characters 12-63
    frame @ file "pretyping/evarconv.ml", line 171, characters 15-26
    frame @ file "pretyping/evarconv.ml", line 172, characters 33-41
    raise @ unknown
    frame @ file "pretyping/evarsolve.ml", line 1404, characters 10-69
    raise @ unknown
    frame @ file "pretyping/evarsolve.ml", line 1029, characters 8-55
    raise @ unknown
    frame @ file "pretyping/evarsolve.ml", line 1010, characters 19-67
    frame @ file "pretyping/evarsolve.ml", line 995, characters 5-62
    frame @ file "pretyping/evarsolve.ml", line 358, characters 14-65
    frame @ file "pretyping/evarsolve.ml", line 347, characters 52-77
    raise @ unknown
    frame @ file "pretyping/evarsolve.ml", line 123, characters 6-19
    frame @ file "array.ml", line 73, characters 31-48
    frame @ file "kernel/environ.ml", line 64, characters 2-34
    raise @ file "kernel/term.ml", line 859, characters 26-35