diff options
| author | Emilio Jesus Gallego Arias | 2016-05-31 14:59:15 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2016-05-31 14:59:15 +0200 |
| commit | 760351d5864d5f98d75f310ace6b37bda7a471a9 (patch) | |
| tree | f09d276327d7e961ab0e7ee0ce78a8ec8abc5657 /mathcomp/ssrtest/tacnotationpattern.v | |
| parent | aa13fe8081c0d28478e5464bfdb52e44b1df6945 (diff) | |
Compatibility with latest Coq trunk.
Diffstat (limited to 'mathcomp/ssrtest/tacnotationpattern.v')
0 files changed, 0 insertions, 0 deletions