_CoqProject

-Q . pcm
-arg -w -arg -notation-overridden
-arg -w -arg -redundant-canonical-projection
# release-specific args
-arg -w -arg -notation-incompatible-prefix # specific to coq8.20.0 
-arg -w -arg -deprecated-from-Coq # specific to coq8.21 
-arg -w -arg -deprecated-dirpath-Coq # specific to coq8.21 

core/options.v
core/axioms.v
core/prelude.v
core/pred.v
core/auto.v
core/seqext.v
core/slice.v
core/uslice.v
core/useqord.v
core/uconsec.v
core/ordtype.v
core/seqperm.v
core/finmap.v
core/rtc.v
pcm/pcm.v
pcm/autopcm.v
pcm/morphism.v
pcm/invertible.v
pcm/unionmap.v
pcm/natmap.v
pcm/automap.v
pcm/heap.v
pcm/mutex.v