_CoqProject

-docroot Combi
-R theories Combi
-arg -w -arg -notation-overridden
-arg -w -arg -ambiguous-paths
-arg -w -arg -redundant-canonical-projection
-arg -w -arg -projection-no-head-constant
theories/Combi/bintree.v
theories/Combi/composition.v
theories/Combi/Dyckword.v
theories/Combi/fibered_set.v
theories/Combi/partition.v
theories/Combi/permuted.v
theories/Combi/multinomial.v
theories/Combi/setpartition.v
theories/Combi/skewpart.v
theories/Combi/skewtab.v
theories/Combi/std.v
theories/Combi/stdtab.v
theories/Combi/subseq.v
theories/Combi/tableau.v
theories/Combi/vectNK.v
theories/Combi/Yamanouchi.v
theories/Erdos_Szekeres/Erdos_Szekeres.v
theories/LRrule/extract.v
theories/LRrule/freeSchur.v
theories/LRrule/Greene.v
theories/LRrule/Greene_inv.v
theories/LRrule/implem.v
theories/LRrule/plactic.v
theories/LRrule/Schensted.v
theories/LRrule/shuffle.v
theories/LRrule/stdplact.v
theories/LRrule/therule.v
theories/LRrule/Yam_plact.v
theories/SSRcomplements/ordcast.v
theories/SSRcomplements/sorted.v
theories/SSRcomplements/permcomp.v
theories/SSRcomplements/tools.v
theories/HookFormula/Frobenius_ident.v
theories/HookFormula/hook.v
theories/Basic/combclass.v
theories/Basic/congr.v
theories/Basic/ordtype.v
theories/Basic/unitriginv.v
theories/SymGroup/cycles.v
theories/SymGroup/cycletype.v
theories/SymGroup/Frobenius_char.v
theories/SymGroup/permcent.v
theories/SymGroup/presentSn.v
theories/SymGroup/reprSn.v
theories/SymGroup/towerSn.v
theories/SymGroup/weak_order.v
theories/MPoly/antisym.v
theories/MPoly/Cauchy.v
theories/MPoly/homogsym.v
theories/MPoly/sympoly.v
theories/MPoly/Schur_mpoly.v
theories/MPoly/Schur_altdef.v
theories/MPoly/MurnaghanNakayama.v
-R 3rdparty/ALEA ALEA
3rdparty/ALEA/Ccpo.v
3rdparty/ALEA/Misc.v
3rdparty/ALEA/Qmeasure.v