_CoqProject

-Q theories lrust
theories/lifetime/definitions.v
theories/lifetime/derived.v
theories/lifetime/faking.v
theories/lifetime/creation.v
theories/lifetime/primitive.v
theories/lifetime/accessors.v
theories/lifetime/raw_reborrow.v
theories/lifetime/borrow.v
theories/lifetime/reborrow.v
theories/lifetime/shr_borrow.v
theories/lifetime/frac_borrow.v
theories/lifetime/tl_borrow.v
theories/lang/adequacy.v
theories/lang/derived.v
theories/lang/heap.v
theories/lang/lang.v
theories/lang/lifting.v
theories/lang/memcpy.v
theories/lang/notation.v
theories/lang/proofmode.v
theories/lang/races.v
theories/lang/tactics.v
theories/lang/wp_tactics.v
theories/typing/type.v
theories/typing/type_incl.v
theories/typing/perm.v
theories/typing/perm_incl.v
theories/typing/typing.v