Library Corelib.Compat.Rocq90
Compatibility file for making Rocq act similar to Coq v9.0
Require
Export
Corelib.Compat.Rocq91
.
#[
export
]
Set
Warnings
"-deprecated-since-9.1".