diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2016-04-04 14:17:59 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2016-04-04 14:31:54 +0200 |
| commit | 5569a06d062f913c66cbcb8bd01d4505e603d321 (patch) | |
| tree | c1e19f1c0cccdd3bfdb706c755b8e2edbb20f870 /interp/notation.mli | |
| parent | b3315a798edcaea533b592cc442e82260502bd49 (diff) | |
| parent | 441ea07e3c8ba56b9e7d44e7802246dc06814415 (diff) | |
Merge branch 'linear-comparison' of https://github.com/aspiwack/coq into aspiwack-linear-comparison
Fixing a -1 -> +1 typo
Diffstat (limited to 'interp/notation.mli')
0 files changed, 0 insertions, 0 deletions