Autoupdate documentation with coqdoc to d274510

Generated with `make html` on commit:

commit d274510d72f55d16ef4147fbf23c9bae533e96ff
Author: Jason Gross <jgross@mit.edu>
Date:   Sun Sep 15 16:40:59 2013 -0400

    Get rid of some useless '∘ 1'