diff options
| author | Oliver Nash | 2019-08-11 15:21:19 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2019-09-03 00:02:20 +0200 |
| commit | 8b07d47d9115905354b750e4ccc8e3efb29cd831 (patch) | |
| tree | 9f8bddbd1a5fa62d503a734c8a2430e5c4c2d399 /plugins/syntax | |
| parent | 049142777e3c34faf74081842b2c363dd6462eb0 (diff) | |
New lemmas for List.v
* filter_app (moved from MSets/MSetRBT.v)
* filter_map
* filter_ext_in
* ext_in_filter
* filter_ext_in_iff
* filter_ext
* concat_filter_map
* combine_nil
* combine_firstn_l
* combine_firstn_r
* combine_firstn
* nodup_fixed_point
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions