_CoqProject

-Q theories lrust
-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
theories/lifetime/model/definitions.v
theories/lifetime/model/faking.v
theories/lifetime/model/creation.v
theories/lifetime/model/primitive.v
theories/lifetime/model/accessors.v
theories/lifetime/model/raw_reborrow.v
theories/lifetime/model/borrow.v
theories/lifetime/model/reborrow.v
theories/lifetime/lifetime_sig.v
theories/lifetime/lifetime.v
theories/lifetime/shr_borrow.v
theories/lifetime/frac_borrow.v
theories/lifetime/na_borrow.v
theories/lang/adequacy.v
theories/lang/heap.v
theories/lang/lang.v
theories/lang/lifting.v
theories/lang/memcpy.v
theories/lang/new_delete.v
theories/lang/notation.v
theories/lang/proofmode.v
theories/lang/races.v
theories/lang/tactics.v
theories/lang/spawn.v
theories/typing/type.v
theories/typing/lft_contexts.v
theories/typing/type_context.v
theories/typing/cont_context.v
theories/typing/uninit.v
theories/typing/own.v
theories/typing/uniq_bor.v
theories/typing/shr_bor.v
theories/typing/product.v
theories/typing/product_split.v
theories/typing/sum.v
theories/typing/bool.v
theories/typing/int.v
theories/typing/function.v
theories/typing/programs.v
theories/typing/borrow.v
theories/typing/cont.v
theories/typing/fixpoint.v
theories/typing/type_sum.v
theories/typing/typing.v
theories/typing/soundness.v
theories/typing/option.v
theories/typing/unsafe/fake_shared_box.v
theories/typing/unsafe/cell.v
theories/typing/unsafe/spawn.v
theories/typing/unsafe/refcell/refcell.v
theories/typing/unsafe/refcell/ref.v
theories/typing/unsafe/refcell/refmut.v
theories/typing/unsafe/refcell/refcell_code.v
theories/typing/unsafe/refcell/ref_code.v
theories/typing/unsafe/refcell/refmut_code.v
theories/typing/unsafe/rwlock/rwlock.v
theories/typing/unsafe/rwlock/rwlockreadguard.v
theories/typing/unsafe/rwlock/rwlockwriteguard.v
theories/typing/unsafe/rwlock/rwlock_code.v
theories/typing/unsafe/rwlock/rwlockreadguard_code.v
theories/typing/unsafe/rwlock/rwlockwriteguard_code.v
theories/typing/examples/get_x.v
theories/typing/examples/rebor.v
theories/typing/examples/unbox.v
theories/typing/examples/init_prod.v
theories/typing/examples/lazy_lft.v