-
Felipe Cerqueira authored
- Remove Require declarations from Modules. - Small fixes due to changes in the type checker. - Generate _CoqProject with Makefile and remove spurious warnings from ssreflect.
b6c93d38
- Remove Require declarations from Modules. - Small fixes due to changes in the type checker. - Generate _CoqProject with Makefile and remove spurious warnings from ssreflect.