-R . mathcomp.classical

-arg -w -arg -parsing
-arg -w -arg +undeclared-scope
-arg -w -arg +non-primitive-record
-arg -w -arg -ambiguous-paths
-arg -w -arg -redundant-canonical-projection
-arg -w -arg -projection-no-head-constant

boolp.v
classical_sets.v
mathcomp_extra.v
functions.v
cardinality.v
fsbigop.v
set_interval.v
