diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-17 11:08:12 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-17 11:08:12 -0400 |
| commit | f9922c80958846e7a6a58386e7738eb450d079f9 (patch) | |
| tree | 953539abaeda3118db13afd7d6b67b214dd45a9e /_CoqProject | |
| parent | 910c11bd3b95a5cf4b0e3d83946f8225d352f1a2 (diff) | |
Better reification tactic debugging
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions