update tested #357
Annotations
10 warnings
|
theories/Util/Default.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
theories/Util/Pointed.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
theories/Util/Arith/ZArith.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
theories/Util/Bool.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
theories/Util/List.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/Program/Basics/Dependent.v#L100
Notations "∀ _ .. _ , _" defined at level 10 with arguments binder
|
|
theories/Util/Compat/Arith/PeanoNat.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/IffT.v#L1
Coq.Classes has been replaced by Stdlib.Classes.
|
The logs for this run have expired and are no longer available.
Loading