diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-10-29 00:41:40 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-10-29 00:42:27 -0400 |
| commit | 458b80ae2bbf9abe267cfaa0e98d8b91b1b415d3 (patch) | |
| tree | 5914617fbf87c5ceebf10306cfc6cb371d9a4cc1 /_CoqProject | |
| parent | 204799abf657fb094ce4b5d72564d0495d3f7a24 (diff) | |
Add subst_relax
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions