Initial commit

1 files changed, 44 insertions, 0 deletions

diff --git a/mathcomp/ssrtest/Make b/mathcomp/ssrtest/Make
new file mode 100644
index 0000000..adcc2d2
--- /dev/null
+++ b/mathcomp/ssrtest/Make
@@ -0,0 +1,44 @@
+-R ../theories Ssreflect
+-I ../src/
+absevarprop.v
+binders.v
+binders_of.v
+caseview.v
+congr.v
+deferclear.v
+dependent_type_err.v
+elim.v
+elim2.v
+elim_pattern.v
+first_n.v
+gen_pattern.v
+gen_have.v
+havesuff.v
+have_view_idiom.v
+have_TC.v
+have_transp.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
+rewpatterns.v
+set_lamda.v
+set_pattern.v
+ssrsyntax1.v
+ssrsyntax2.v
+testmx.v
+tc.v
+typeof.v
+unkeyed.v
+view_case.v
+wlogletin.v
+wlong_intro.v
+wlog_suff.v
+