diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-02-10 15:58:19 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-02-10 15:58:19 -0500 |
| commit | 659693536444e6aeab4feee49996f27afb5d090b (patch) | |
| tree | 18c8eacaba0df81e0947ea79261ffc2c61baff43 /coqprime-8.4 | |
| parent | 32849ba878e74064e2bb312ea0a5f2e2e2ed6659 (diff) | |
Add files for constant reflective notations
Diffstat (limited to 'coqprime-8.4')
0 files changed, 0 insertions, 0 deletions