seq

vbgl · May 21, 2019 · dde4439 · dde4439
1 parent 5d18cff
commit dde4439
Show file tree

Hide file tree

Showing 4 changed files with 4,517 additions and 1 deletion.
diff --git a/src/_CoqProject b/src/_CoqProject
@@ -13,9 +13,11 @@ eqtype.v
 equality.v
 functions.v
 lock.v
+morenat.v
 nat.v
 prelude.v
 prelude_plugins.v
 prop.v
+seq.v
 ssreflect.v
 matching.v