Merge pull request #31 from hferee/inv #56
Annotations
5 warnings
|
Run coq-community/docker-coq-action@v1 with debian:10:
theories/iSL/Order.v#L12
Notation "_ • _" was already used.
|
|
Run coq-community/docker-coq-action@v1 with debian:10:
theories/iSL/Simp_env.v#L5
Notation "_ ≼ _" was already used.
|
|
Run coq-community/docker-coq-action@v1 with debian:10:
theories/iSL/Simp_env.v#L90
Notation "_ • _" was already used.
|
|
Run coq-community/docker-coq-action@v1 with debian:10:
theories/iSL/PropQuantifiers.v#L2
Notation "_ ≼ _" was already used.
|
|
Run coq-community/docker-coq-action@v1 with debian:10:
theories/iSL/PropQuantifiers.v#L35
Notation "_ • _" was already used.
|
Loading