HoTT/HoTT — pull request #175 by JasonGross (2013-08-14 18:12:52+00:00)
Title: Minor documentation changes

Also, replace [apply symmetry] with [symmetry], because that works now.

Using [(*] doesn't show up in coqdoc. Using [(**] does.