Skip to content
Snippets Groups Projects
Commit e009aa63 authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

product_split, type_sum.

parent 79d9e97d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
_CoqProject
+ 2
− 0
View file @ e009aa63
......@@ -34,3 +34,5 @@ theories/typing/uniq_bor.v
theories/typing/shr_bor.v
theories/typing/own.v
theories/typing/borrow.v
theories/typing/product_split.v
theories/typing/type_sum.v
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment