diff options
| author | Enrico Tassi | 2016-12-06 15:36:10 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2016-12-06 16:31:01 +0100 |
| commit | 41916775e9f68ddfa78040a803a2426415137c94 (patch) | |
| tree | 7788645f7583fc124844ca51df96a5f2fff58475 /mathcomp/Make | |
| parent | bcfeaf7951c0cbd9fa950b4ce67206451a17defb (diff) | |
Use Tacred.unfoldn [AllOccurrences..] to work around Coq #5250
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions