diff options
| author | Enrico Tassi | 2020-11-18 10:38:41 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-18 10:38:41 +0100 |
| commit | 831e7a2d2d7c5385751946582ede7f766accca58 (patch) | |
| tree | 1feabf78bf1228cbb300b72176d462b7f0bb6759 /mathcomp/_CoqProject | |
| parent | 526be1c2e1aec37df13619f06196c53912d97f82 (diff) | |
| parent | d84c26fa2eeeeb0029a56bac37bf1bae9f10882a (diff) | |
Merge pull request #599 from CohenCyril/dup_swap_apply
Intro pattern extensions for dup, swap and apply
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions