Adding support for untyped conversion-checking #553
Annotations
6 warnings
|
theories/Validity/Introductions/Application.v#L41
Reference reflValidTm is deprecated. Unneeded
|
|
theories/Validity/Introductions/Application.v#L41
Reference reflValidTm is deprecated. Unneeded
|
|
theories/Validity/Introductions/Application.v#L41
Reference reflValidTm is deprecated. Unneeded
|
|
theories/Validity/Introductions/Nat.v#L108
Reference reflValidTm is deprecated. Unneeded
|
|
theories/Validity/Introductions/Nat.v#L108
Reference reflValidTm is deprecated. Unneeded
|
|
theories/Fundamental.v#L348
Reference reflValidTm is deprecated. Unneeded
|
The logs for this run have expired and are no longer available.
Loading