rm generic sets

math-comp · May 18, 2023 · c31eefa · c31eefa
1 parent d544ab1
commit c31eefa
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 1,047 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -1,6 +1,5 @@
 finmap.v
 multiset.v
-set.v
 
 -R . mathcomp.finmap
 -arg -w -arg -projection-no-head-constant