diff options
| author |  Jason Gross <jagro@google.com> | 2016-08-31 15:06:03 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-08-31 15:06:03 -0700 |
| commit | c3b5ca7801220e3756136596b24e61ed66f34f10 (patch) | |
| tree | 814917117576882e1e1543619a77fd48d5c471ac /src/Util/Prod.v | |
| parent | b28e23553230d08957af24a9a92d3c12a135a6ea (diff) | |
Add congruence_option tactic
Diffstat (limited to 'src/Util/Prod.v')
0 files changed, 0 insertions, 0 deletions