Autoupdate documentation with coqdoc to 8f1f0d6

Generated with `make html` on commit:

commit 8f1f0d6fed5e513af9dc41160607720f50c1b0e7
Author: Jason Gross <jgross@mit.edu>
Date:   Thu Sep 12 19:59:27 2013 -0400

    Add some laws about how isos are epi and mono