Adapt to https://github.com/rocq-prover/rocq/pull/21849 - #96
Merged
Annotations
10 warnings
|
theories/Util/Arith/Classes.v#L28
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
theories/Util/Arith/Classes.v#L26
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
theories/Util/Arith/Classes.v#L15
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
theories/Util/Arith/Classes.v#L13
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
theories/Util/Arith/Classes.v#L11
Use of "Notation" keyword for abbreviations is deprecated, use
|
|
theories/Util/Arith/Classes.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
theories/Util/Relations/Relation_Definitions/Hetero.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
theories/Util/Compat/Arith/PeanoNat.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
theories/Util/Program/Basics/Dependent.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
theories/Util/Default.v#L1
"From Coq" has been replaced by "From Stdlib".
|
The logs for this run have expired and are no longer available.
Loading