Compare revisions

741c78cf · 741c78cf · 741c78cf · 741c78cf · 741c78cf · 741c78cf
--- a/theories/typing/perm.v
+++ b/theories/typing/perm.v
--- a/theories/typing/product.v
+++ b/theories/typing/product.v
--- a/theories/typing/product_split.v
+++ b/theories/typing/product_split.v
--- a/theories/typing/shr_bor.v
+++ b/theories/typing/shr_bor.v
--- a/theories/typing/sum.v
+++ b/theories/typing/sum.v
--- a/theories/typing/type.v
+++ b/theories/typing/type.v
--- a/theories/typing/type_context.v
+++ b/theories/typing/type_context.v
--- a/theories/typing/type_incl.v
+++ b/theories/typing/type_incl.v
--- a/theories/typing/typing.v
+++ b/theories/typing/typing.v
--- a/theories/typing/uniq_bor.v
+++ b/theories/typing/uniq_bor.v
No results found