Autoupdate documentation with coqdoc

Generated with `make html`
Autoupdate documentation with coqdoc

Generated with `make html`
Autoupdate documentation with coqdoc to 0a65d61

Generated with `make html` on commit:

commit 0a65d616bdfbbc61f852a82b6518a82949310447
Author: Jason Gross <jgross@mit.edu>
Date:   Fri Sep 27 10:46:43 2013 -0400

    Add back ExponentialLaws to makefile