Require Sumbool to use it in free_unif.v (for coq/coq#19801) #77
Annotations
10 warnings
|
Util/Nat/NatCompat.v#L1
Coq.Arith has been replaced by Stdlib.Arith.
|
|
Util/Logic/LogicUtil.v#L14
"From Coq" has been replaced by "From Stdlib".
|
|
Util/Logic/EpsilonUtil.v#L12
"From Coq" has been replaced by "From Stdlib".
|
|
Util/Relation/Preorder.v#L11
"From Coq" has been replaced by "From Stdlib".
|
|
Util/Nat/LeastNat.v#L11
"From Coq" has been replaced by "From Stdlib".
|
|
Util/Logic/IotaUtil.v#L12
"From Coq" has been replaced by "From Stdlib".
|
|
Util/List/ListSort.v#L12
"From Coq" has been replaced by "From Stdlib".
|
|
Coccinelle/basis/TransClosure.v#L14
"From Coq" has been replaced by "From Stdlib".
|
|
Coccinelle/basis/ordered_set.v#L12
"From Coq" has been replaced by "From Stdlib".
|
|
Coccinelle/basis/decidable_set.v#L12
"From Coq" has been replaced by "From Stdlib".
|
The logs for this run have expired and are no longer available.
Loading