diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-04 18:25:43 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-04 18:25:43 -0400 |
| commit | 161b2b1c7e6f018936e998fdba9ef96e3ce330b2 (patch) | |
| tree | e995fd0058a44ccd1753cfd2df28d1d70b88a641 /src/Util/Tactics | |
| parent | 2851fc2c2c3a4e9a6424207c73aa9f049696f418 (diff) | |
Set Suggest Proof Using seems to have been missing one?
Diffstat (limited to 'src/Util/Tactics')
0 files changed, 0 insertions, 0 deletions