diff options
| author | Anton Trunov | 2020-05-12 18:02:01 +0300 |
|---|---|---|
| committer | Anton Trunov | 2020-05-12 18:02:01 +0300 |
| commit | 697730186f17ac3992b9b7966c505b8f64eab69d (patch) | |
| tree | 635e25249d586a2b98f30b36b99e8fc0d8628eca /doc/plugin_tutorial/tuto0/_CoqProject | |
| parent | 007ed9e21f69a157ffff3fa5f990f62ab2756416 (diff) | |
| parent | 354582c02622ce99b61b24471981e45a14a372a4 (diff) | |
Merge PR #12190: [stdlib] [Permutation] Declare more instances as Global
Reviewed-by: JasonGross
Reviewed-by: anton-trunov
Diffstat (limited to 'doc/plugin_tutorial/tuto0/_CoqProject')
0 files changed, 0 insertions, 0 deletions