Merge pull request #123 from proux01/mc1354 #91
Annotations
10 warnings
|
Run coq-community/docker-coq-action@v1:
finmap.v#L150
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
Run coq-community/docker-coq-action@v1:
finmap.v#L153
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
Run coq-community/docker-coq-action@v1:
finmap.v#L171
Notations "[ fset _ | _ : _ in _ ]" defined at level 0
|
|
Run coq-community/docker-coq-action@v1:
finmap.v#L173
Notations "[ fset _ | _ in _ ]" defined at level 0 with arguments
|
|
Run coq-community/docker-coq-action@v1:
finmap.v#L186
Notations "[ fset[ _ ] _ | _ : _ in _ ]" defined at level 0
|
|
Run coq-community/docker-coq-action@v1:
finmap.v#L188
Notations "[ fset[ _ ] _ | _ in _ ]" defined at level 0
|
|
Run coq-community/docker-coq-action@v1:
finmap.v#L190
Notations "[ fset[ _ ] _ | _ : _ in _ ]" defined at level 0
|
|
Run coq-community/docker-coq-action@v1:
finmap.v#L236
Notations "[ f set _ | _ in _ ]" defined at level 0 with arguments
|
|
Run coq-community/docker-coq-action@v1:
finmap.v#L358
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
Run coq-community/docker-coq-action@v1:
finmap.v#L612
HB: no new instance is generated
|
Loading