added wochoice.v in classical

math-comp · Dec 19, 2023 · 1164de2 · 1164de2
1 parent f0e2f72
commit 1164de2
Show file tree

Hide file tree

Showing 3 changed files with 1,413 additions and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -10,6 +10,7 @@
 
 classical/boolp.v
 classical/contra.v
+classical/wochoice.v
 classical/classical_sets.v
 classical/mathcomp_extra.v
 classical/functions.v

diff --git a/classical/Make b/classical/Make
@@ -9,6 +9,7 @@
 
 boolp.v
 contra.v
+wochoice.v
 classical_sets.v
 mathcomp_extra.v
 functions.v