_CoqProject

-Q theories lrust
-Q iris-enabled iris
theories/lifetime/definitions.v
theories/lifetime/derived.v
theories/lifetime/creation.v
theories/lifetime/primitive.v
theories/lifetime/todo.v
theories/lifetime/borrow.v
theories/lifetime/shr_borrow.v