Autoupdate documentation with coqdoc to a83b750

Generated with `make html` on commit:

commit a83b750fe714a10503f92ee0d8b6d4fb9869e629
Author: Jason Gross <jgross@mit.edu>
Date:   Mon Sep 9 18:19:46 2013 -0400

    Add a helper composition lemma