diff options
| author | Cyril Cohen | 2016-10-24 14:21:26 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2016-10-24 14:21:26 +0200 |
| commit | 71e62259c3a7420ff4c635768564792d1fd38ceb (patch) | |
| tree | 9e0b018525fbe6b396e9c4a8e157c7e112a727c4 /mathcomp/ssreflect/path.v | |
| parent | 3c8d3225c0e230dcc5e7b40440200888082d9b17 (diff) | |
removing the need of bracket to delimit ssrpatternarg
Diffstat (limited to 'mathcomp/ssreflect/path.v')
0 files changed, 0 insertions, 0 deletions