Undo use of [symmetry] in [done]

It seems that sometimes Coq decides to use the built-in tactic
regardless of what we do.
Merge pull request #178 from JasonGross/undo-symmetry

Undo use of [symmetry] in [done]