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.v | |
parent | 2851fc2c2c3a4e9a6424207c73aa9f049696f418 (diff) |
Set Suggest Proof Using seems to have been missing one?
Diffstat (limited to 'src/Util/Tactics.v')
0 files changed, 0 insertions, 0 deletions