HoTT/HoTT — pull request #178 by JasonGross (2013-08-14 23:24:38+00:00)
Title: Undo use of [symmetry] in [done]

It seems that sometimes Coq decides to use the built-in tactic
regardless of what we do.