diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-15 01:02:08 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-15 01:02:08 -0400 |
| commit | 8aa303e9f1a34dfd86172e9935ceaa7de2dd45dc (patch) | |
| tree | 48b4501e38c63a65f0dd467e952c1d8f77d1ad17 /_CoqProject | |
| parent | 0fa346f2e2a2fd3f247eae61bb2d8519a87b468e (diff) | |
Add more constant notations
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions