diff options
author | Jason Gross <jgross@mit.edu> | 2016-12-08 16:43:40 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-05-28 09:38:36 -0400 |
commit | fbec6e43c5dc3b93e61a3313ebf91196407892ca (patch) | |
tree | 49a57e59da8936a8442b626d223e3abb8684b4b4 /proofs/redexpr.mli | |
parent | 592f607ad27c0c42d0a5185163dd06f7f5d5cc1e (diff) |
Add equality lemmas for sig2 and sigT2
Diffstat (limited to 'proofs/redexpr.mli')
0 files changed, 0 insertions, 0 deletions