diff options
| author | Hugo Herbelin | 2020-05-06 23:03:27 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-05-06 23:03:27 +0200 |
| commit | 325a644b3f5a5f8c1a86191004576e7c763ae9f3 (patch) | |
| tree | 1207f1774e239abe7cfd4213a7d866018929cc75 /doc/plugin_tutorial/tuto1 | |
| parent | 2dd59422a4f2ba1d6e75e710b88129751379aa79 (diff) | |
| parent | 245b58ac8b6dda26005ae998e5d2cf61a069711c (diff) | |
Merge PR #12171: [stdlib] [list] Symmetry in conclusions of map_eq_cons and map_eq_app
Reviewed-by: anton-trunov
Reviewed-by: herbelin
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions