HoTT/HoTT — pull request #174 by JasonGross (2013-08-14 03:34:56+00:00)
Title: Improve the symmetry tactic.

Apparently, there are some cases where [refine] doesn't work either.
I'm not really sure why, but using both makes it more likely to work, it
seems. *shrugs*