diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-09-18 10:47:35 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-09-22 10:44:07 -0400 |
| commit | fd5cba50d8743149e7ca4e386716126f2fc03e63 (patch) | |
| tree | c09dd69ea9c3dc0a77a7be0729f1a99024958a1c /src/Util/Relations.v | |
| parent | e9fb194f228321f9477a26bf18617047722fd42a (diff) | |
Util.LetIn: fix proper instance
Diffstat (limited to 'src/Util/Relations.v')
0 files changed, 0 insertions, 0 deletions