HoTT/HoTT — pull request #151 by JasonGross (2013-07-13 21:30:11+00:00)
Title: Add [symmetry] and [etransitivity] tactic notation

These work with paths. Now you can just say [symmetry] again.