diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-21 18:56:31 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-21 18:56:31 -0500 |
| commit | 75132de934cad936b68158ca1b49b066ff3f75c4 (patch) | |
| tree | 55ec8117871f4e5719dfb50cf44df7031ae34542 /_CoqProject | |
| parent | 41eff23e5118b2ff74651935f167db3b2c85e5f0 (diff) | |
Start work on a faster version of GF*Reflective/Common*
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions