-Q . 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

internal_Eqdep_dec.v
boolp.v
contra.v
wochoice.v
classical_sets.v
mathcomp_extra.v
unstable.v
functions.v
cardinality.v
fsbigop.v
set_interval.v
classical_orders.v
filter.v
all_classical.v
