Split .v files

math-comp · Apr 21, 2021 · 2951de1 · 2951de1
1 parent 404512f
commit 2951de1
Show file tree

Hide file tree

Showing 4 changed files with 810 additions and 797 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -1,3 +1,5 @@
+theories/zify_ssreflect.v
+theories/zify_algebra.v
 theories/zify.v
 
 -R theories mathcomp.zify