fix some intuition and arith deprecations #13
Annotations
10 warnings
|
Reals/RFsequence.v#L27
Hiding binding of key Rseq to Rseq_scope
|
|
Reals/Rtactic.v#L544
Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv.
|
|
Hierarchy/Type_class_definition.v#L40
A coercion will be introduced instead of an instance in future
|
|
Hierarchy/Type_class_definition.v#L48
A coercion will be introduced instead of an instance in future
|
|
Hierarchy/Type_class_definition.v#L57
A coercion will be introduced instead of an instance in future
|
|
Hierarchy/Type_class_definition.v#L62
A coercion will be introduced instead of an instance in future
|
|
Hierarchy/Type_class_definition.v#L67
A coercion will be introduced instead of an instance in future
|
|
Hierarchy/Type_class_definition.v#L72
A coercion will be introduced instead of an instance in future
|
|
Hierarchy/Type_class_definition.v#L82
A coercion will be introduced instead of an instance in future
|
|
Hierarchy/Type_class_definition.v#L91
A coercion will be introduced instead of an instance in future
|
The logs for this run have expired and are no longer available.
Loading