diff options
| author |  Jason Gross <jagro@google.com> | 2016-08-10 15:20:17 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-08-10 15:20:17 -0700 |
| commit | eaa9ff12d57aa82876036e04f128501c6c0b3afa (patch) | |
| tree | 4268069185a1efa761c8b10e04cff6318d31cdab /coqprime-8.4 | |
| parent | cc62a73fda1cbf096ac7f5bfc23a5e1c868bc997 (diff) | |
Add [especialize], [forward], [eforward]
At the request of Andres
Diffstat (limited to 'coqprime-8.4')
0 files changed, 0 insertions, 0 deletions