HoTT/HoTT — pull request #355 by JasonGross (2014-04-01 01:56:01+00:00)
Title: Add many variants of the [simpl rewrite] tactic

It's unfortunate that Coq doesn't give us a notation of saying "this
takes anything that rewrite can take". But these are useful for
making tactic scripts conceptually clearer.