HoTT/HoTT — pull request #242 by JasonGross (2013-11-03 22:20:33+00:00)
Title: Document exponential laws

Add some basic documentation for exponential laws, and do some other minor fixups.