-
Guillaume Melquiond authored
Generated statements were actually ill-formed, since Coq 8.4 sometimes interprets "A -> B <-> C" as "(A -> B) <-> C". (This bug was fixed in 8.5.) We could print additional parentheses to work around the issue, but it is about time we drop support for Coq 8.4 anyway.
5f0df6ba
To find the state of this project's repository at the time of any of these versions, check out the tags.