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 /.travis.yml | |
| parent | 592f607ad27c0c42d0a5185163dd06f7f5d5cc1e (diff) | |
Add equality lemmas for sig2 and sigT2
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions