diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-25 14:23:38 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-05-28 09:38:36 -0400 |
| commit | abe171759d3548cda6355fa4ca623c954145322c (patch) | |
| tree | d7ecbbff45a6b7013d1271b7fc74d9ee875ae531 /vernac | |
| parent | 179e1d5451411f96a5032e244f2f6cd57463e3bd (diff) | |
Add forward-chaining versions: [eq_sig*_uncurried]
Diffstat (limited to 'vernac')
0 files changed, 0 insertions, 0 deletions