diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-07-14 19:37:32 +0100 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-07-15 21:57:47 +0100 |
| commit | 83c6684b5d5c3f3dbdc68275290dbb8be359ef01 (patch) | |
| tree | 99ec60ecd67303aa7115b6e980d11933ea0561fb /src/Util/NatUtil.v | |
| parent | f79fdb77c7baff92444204c00787d2c95da18997 (diff) | |
Allow reification of nat_rect (fun _ => _ -> _)
We now support reification of nat_rect returning an arrow. This is
needed for montgomery.
Diffstat (limited to 'src/Util/NatUtil.v')
0 files changed, 0 insertions, 0 deletions