Compare revisions

74bdf4e8 · 74bdf4e8 · 74bdf4e8 · 74bdf4e8 · 74bdf4e8 · 74bdf4e8
--- a/lambda-rust/typing/sum.v
+++ b/lambda-rust/typing/sum.v
--- a/lambda-rust/typing/type.v
+++ b/lambda-rust/typing/type.v
--- a/lambda-rust/typing/type_context.v
+++ b/lambda-rust/typing/type_context.v
--- a/lambda-rust/typing/type_sum.v
+++ b/lambda-rust/typing/type_sum.v
--- a/lambda-rust/typing/typing.v
+++ b/lambda-rust/typing/typing.v
--- a/lambda-rust/typing/uninit.v
+++ b/lambda-rust/typing/uninit.v
--- a/lambda-rust/typing/uniq_bor.v
+++ b/lambda-rust/typing/uniq_bor.v
--- a/lambda-rust/typing/util.v
+++ b/lambda-rust/typing/util.v
--- a/lifetime/at_borrow.v
+++ b/lifetime/at_borrow.v
--- a/lifetime/frac_borrow.v
+++ b/lifetime/frac_borrow.v
--- a/lifetime/lifetime.v
+++ b/lifetime/lifetime.v
--- a/lifetime/lifetime_sig.v
+++ b/lifetime/lifetime_sig.v
--- a/lifetime/meta.v
+++ b/lifetime/meta.v
--- a/theories/lifetime/accessors.v
+++ b/theories/lifetime/accessors.v
--- a/lifetime/model/borrow.v
+++ b/lifetime/model/borrow.v
--- a/theories/lifetime/borrow.v
+++ b/theories/lifetime/borrow.v
--- a/theories/lifetime/creation.v
+++ b/theories/lifetime/creation.v
--- a/theories/lifetime/definitions.v
+++ b/theories/lifetime/definitions.v
--- a/theories/lifetime/faking.v
+++ b/theories/lifetime/faking.v
--- a/theories/lifetime/primitive.v
+++ b/theories/lifetime/primitive.v
No results found