remove ssrtest: it now belongs to Coq

1 files changed, 0 insertions, 46 deletions

diff --git a/mathcomp/ssrtest/Make b/mathcomp/ssrtest/Make
deleted file mode 100644
index 836e12a..0000000
--- a/mathcomp/ssrtest/Make
+++ /dev/null
@@ -1,46 +0,0 @@
-absevarprop.v
-binders_of.v
-binders.v
-caseview.v
-congr.v
-deferclear.v
-dependent_type_err.v
-elim2.v
-elim_pattern.v
-elim.v
-first_n.v
-gen_have.v
-gen_pattern.v
-havesuff.v
-have_TC.v
-have_transp.v
-have_view_idiom.v
-if_isnt.v
-indetLHS.v
-intro_beta.v
-intro_noop.v
-ipatalternation.v
-ltac_have.v
-ltac_in.v
-move_after.v
-multiview.v
-occarrow.v
-patnoX.v
-primproj.v
-rewpatterns.v
-set_lamda.v
-set_pattern.v
-ssrsyntax1.v
-ssrsyntax2.v
-tc.v
-testmx.v
-typeof.v
-unkeyed.v
-unfold_Opaque.v
-view_case.v
-wlogletin.v
-wlog_suff.v
-wlong_intro.v
-
--R ../theories Ssreflect
--I ../src/