diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-05 15:35:41 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-05 15:35:41 -0400 |
| commit | c4a0d1fdde22dbd2faaa1753e973ee9602076ee8 (patch) | |
| tree | 1234bab3d75fe11e7f165f526a4a29be715424c6 /src/Util/Equality.v | |
| parent | b9770718be4f65de7b0cdfcd1c08000e5eac8ca4 (diff) | |
Allow loop notation to print
With help from Hugo at https://coq.inria.fr/bugs/show_bug.cgi?id=5581#c1
cc @andres-erbsen
Diffstat (limited to 'src/Util/Equality.v')
0 files changed, 0 insertions, 0 deletions