diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-05-14 20:28:14 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-05-14 20:28:14 -0400 |
| commit | 8eaecbaa84974050d2ce13b258dba8342c206c03 (patch) | |
| tree | ff3f1d7a8546693766bccaf6b11062bcfd198283 /_CoqProject | |
| parent | 58506ed7037dd56ef4ae44b96704812d53484320 (diff) | |
Add Named.default_names_for
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions