_CoqProject

-R theories Combi
-arg -w -arg -notation-overridden
-arg -w -arg -ambiguous-paths
-arg -w -arg -redundant-canonical-projection
-arg -w -arg -deprecated-since-8.19
-arg -w -arg -projection-no-head-constant
theories/fps/directed.v
theories/fps/invlim.v
theories/fps/dirlim.v
theories/fps/natbar.v
# theories/fps/infpoly.v
theories/fps/padic.v
theories/fps/fps.v
theories/fps/auxresults.v
theories/fps/tfps.v
theories/fps/catalan.v
theories/fps/catalan_fps.v