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/ind_tables.mli | |
parent | 179e1d5451411f96a5032e244f2f6cd57463e3bd (diff) |
Add forward-chaining versions: [eq_sig*_uncurried]
Diffstat (limited to 'vernac/ind_tables.mli')
0 files changed, 0 insertions, 0 deletions