makes this satellite compile again after merging UniMath PR1739 #69
rmatthesAnnotations
11 warnings
|
Build with latest
disp_nat_z_iso_to_trans does not respect the uniform inheritance
|
|
Build with dev
Syntax "Export Set" is deprecated, use the attribute syntax
|
|
Build with dev
Declaring arbitrary terms as hints is fragile; it is recommended to
|
|
Build with dev
Declaring arbitrary terms as hints is fragile; it is recommended to
|
|
Build with dev
Overwriting previous delimiting key cat in scope cat
|
|
Build with dev
Overwriting previous delimiting key cat in scope cat
|
|
Build with dev
Overwriting previous delimiting key cat in scope cat
|
|
Build with dev
Overwriting previous delimiting key cat in scope cat
|
|
Build with dev
Overwriting previous delimiting key cat in scope cat
|
|
Build with dev
Overwriting previous delimiting key cat in scope cat
|
|
Build with dev
Overwriting previous delimiting key cat in scope cat
|