port to Coq 8.18 and later #16
Annotations
10 warnings
|
theories/Q_denumerable.v#L77
Notation Even.odd is deprecated since 8.16.
|
|
theories/Q_denumerable.v#L80
Notation Div2.odd_double is deprecated since 8.16.
|
|
theories/Q_denumerable.v#L80
Notation Div2.odd_double is deprecated since 8.16.
|
|
theories/Q_denumerable.v#L80
Notation Div2.odd_double is deprecated since 8.16.
|
|
theories/Q_denumerable.v#L92
Notation Even.even_odd_dec is deprecated since 8.16.
|
|
theories/Q_denumerable.v#L93
Notation Div2.even_2n is deprecated since 8.16.
|
|
theories/Q_denumerable.v#L92
Notation Even.even_odd_dec is deprecated since 8.16.
|
|
theories/Q_denumerable.v#L93
Notation Div2.even_2n is deprecated since 8.16.
|
|
theories/Q_denumerable.v#L109
Notation Even.even is deprecated since 8.16.
|
|
theories/Q_denumerable.v#L109
Notation Even.odd is deprecated since 8.16.
|
The logs for this run have expired and are no longer available.
Loading