_CoqProject

theories/lang/heap.v

theories/lifetime/primitive.v

theories/typing/function.v

theories/typing/lft_contexts.v

theories/typing/own.v

theories/typing/perm.v

theories/typing/product.v

theories/typing/product_split.v

theories/typing/shr_bor.v

theories/typing/sum.v

theories/typing/type.v

theories/typing/type_context.v

theories/typing/type_incl.v

theories/typing/typing.v

theories/typing/uniq_bor.v