diff options
| author | Jason Gross | 2014-06-12 13:54:41 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2014-08-25 16:46:45 +0200 |
| commit | aa2f0216bb39a1054737b1edf695f28f59c14ea7 (patch) | |
| tree | 7001a2b200084faaa8fad700d555590e7ef8634b /kernel | |
| parent | f23e7e7d6f8912ef3ddcc6288cd0f5710a12b99a (diff) | |
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?
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions