diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-10-29 17:26:55 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-10-29 17:26:55 -0400 |
| commit | 949e80041380e69cd455701561cef0088309d7b0 (patch) | |
| tree | 052b6fd45dd8d4f3595d500d42e8104331e4c658 /_CoqProject | |
| parent | 305f85996292b190247c7b25620f85699c30d44b (diff) | |
Add eqlistA_eq_iff
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions