Adapt to coq/coq#19783 (ml_tactic_name contains hash) #115
Annotations
10 warnings
|
all:
src/Rewriter/Util/IffT.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
all:
src/Rewriter/Util/Bool.v#L2
"From Coq" has been replaced by "From Stdlib".
|
|
all:
src/Rewriter/Util/Bool.v#L3
"From Coq" has been replaced by "From Stdlib".
|
|
all:
src/Rewriter/Util/Pointed.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
all:
src/Rewriter/Util/NatUtil.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
all:
src/Rewriter/Util/NatUtil.v#L2
"From Coq" has been replaced by "From Stdlib".
|
|
all:
src/Rewriter/Util/NatUtil.v#L3
"From Coq" has been replaced by "From Stdlib".
|
|
all:
src/Rewriter/Util/NatUtil.v#L4
"From Coq" has been replaced by "From Stdlib".
|
|
all:
src/Rewriter/Util/NatUtil.v#L5
"From Coq" has been replaced by "From Stdlib".
|
|
all:
src/Rewriter/Util/NatUtil.v#L6
"From Coq" has been replaced by "From Stdlib".
|
Loading