Merge pull request #1035 from proux01/coq_18224 #2715
Annotations
10 warnings
|
Docker-Coq-Action
Notation map_length is deprecated since 8.20.
|
|
Docker-Coq-Action
Notation app_length is deprecated since 8.20.
|
|
Docker-Coq-Action
Notation rev_length is deprecated since 8.20.
|
|
Docker-Coq-Action
Notation app_length is deprecated since 8.20.
|
|
Docker-Coq-Action
Notation app_length is deprecated since 8.20.
|
|
Docker-Coq-Action
Notation app_length is deprecated since 8.20.
|
|
Docker-Coq-Action
Notation List.rev_length is deprecated since 8.20.
|
|
Docker-Coq-Action
Notation List.rev_length is deprecated since 8.20.
|
|
Docker-Coq-Action
Notation List.rev_length is deprecated since 8.20.
|
|
Docker-Coq-Action
Notation app_length is deprecated since 8.20.
|
Loading