diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-11-20 18:17:58 +0100 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-11-27 19:47:52 +0100 |
commit | 9243166490e8c939bbf6aa0316e99025b25e6398 (patch) | |
tree | 391e1d205ee7a378774228404e5a7c00416e2d97 /theories/QArith/Qcabs.v | |
parent | 6f240e9b15f2b6f6622c811933c4f5ffdf78cceb (diff) |
[vernac] Adjust `interp` to pass polymorphic in the attributes.
Diffstat (limited to 'theories/QArith/Qcabs.v')
0 files changed, 0 insertions, 0 deletions