coq/coq — pull request #26 by JasonGross (2014-06-12 12:59:00+00:00)
Title: Add an is_cofix tactic

Should we also add is_* tactics for other things? is_rel, is_meta,
is_sort, is_cast, is_prod, is_lambda, is_letin, is_app, is_const,
is_ind, is_constructor, is_case, is_proj?

If you prefer patches that don't remove trailing spaces, I can edit this patch to do that.