_CoqProject

-R theories eventstruct

-arg -w -arg -notation-overridden
-arg -w -arg -non-reversible-notation
-arg -w -arg -duplicate-clear
-arg -w -arg -redundant-canonical-projection
-arg -w -arg -notation-incompatible-format
-arg -w -arg -ssr-search-moved
-arg -w -arg -deprecated-ssr-search
-arg -w -arg -ambiguous-paths

theories/common/utils.v
theories/common/seq.v
theories/common/fperm.v
theories/common/rel_algebra.v
theories/common/wftype.v
theories/common/inhtype.v
theories/common/ident.v
theories/common/ilia.v
theories/common/rewriting_system.v
theories/common/rel.v
theories/common/order.v
theories/common/monoid.v

theories/concur/lts.v
theories/concur/lposet.v
theories/concur/pomset.v
theories/concur/pomset_lts.v
theories/concur/prime_eventstruct.v
theories/concur/porf_eventstruct.v
theories/concur/transitionsystem.v

theories/lang/relaxed.v
theories/lang/sharedmem.v
theories/lang/regmachine.v