diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-07-11 09:57:38 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-07-11 09:57:38 -0400 |
| commit | d8b643de8922f788328bbe356506a39b1f664ca6 (patch) | |
| tree | f01bba64db0090ee749a0ee6ae72399c3e1d3a6f /_CoqProject | |
| parent | 8122a40b0cc60826b38460ef4a244b42a0999f48 (diff) | |
[congruence] is more powerful in 8.5 than in 8.4
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions