diff options
author | Jason Gross <jagro@google.com> | 2016-08-01 11:38:44 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-08-01 11:38:44 -0700 |
commit | 49e1e69975bb250bd05999094d92215cff8acd0c (patch) | |
tree | 6dc0890d8cb7130665adac751c3dffd6262fb45c /src/Util/Equality.v | |
parent | 3d6359a86c72463436b7bf561b2b90672c3f6ed5 (diff) |
Remove useless hypotheses for [path_sigT_uncurried_iff]
They were breaking tactics
Diffstat (limited to 'src/Util/Equality.v')
0 files changed, 0 insertions, 0 deletions