diff options
| author | Hugo Herbelin | 2018-05-25 16:03:01 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-05-25 17:21:38 +0200 |
| commit | 5eb92624f33afb4d2a390f7c7b80552e3e04bc81 (patch) | |
| tree | e2eb10bafedd022cb8d4a1be4fb18fab1fbe9c6d /doc/plugin_tutorial/tuto2 | |
| parent | 346f72d5c720f73cbbc735190ea7bd83487795cd (diff) | |
Renaming smartmap and fold_map according to Coq PR #7177.
Diffstat (limited to 'doc/plugin_tutorial/tuto2')
0 files changed, 0 insertions, 0 deletions