• Robbert Krebbers's avatar
    Fix compilation with Coq master. · cfcd6329
    Robbert Krebbers authored
    The `[$]` pattern was used in an ambiguous way; there where multiple
    hypotheses that could be used, and for some reason a different is
    picked now.
    cfcd6329
Name
Last commit
Last update
theories Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
_CoqProject Loading commit data...
opam Loading commit data...