diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-12-24 12:35:20 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-12-24 12:35:20 -0500 |
commit | 80e5288d76eaf9fa4ac264e34fd1299d8e4c0642 (patch) | |
tree | 92f1284d28e319a9a70fad17ba197160ee9da0ce /src/coq | |
parent | d30a5ee04dd437f969fca7ad2b3faee7ed324562 (diff) |
Broaden handling of wildcard rewrites
Diffstat (limited to 'src/coq')
0 files changed, 0 insertions, 0 deletions