diff options
| author | Cyril Cohen | 2020-03-25 18:56:56 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2020-04-06 12:40:23 +0200 |
| commit | a00523aee7c13fa5c2a2025ac2fe9412ad7ca5ee (patch) | |
| tree | 469594adf87504dc661967a3530afa564c02efc7 /mathcomp/Make | |
| parent | a0d310fef7b4023793e74af103955e2dd8832faf (diff) | |
Some proof scripts made better using ssrAC.
%AC annotation are for backward compatilibity with coq <= 8.9
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions