From fc84c27eac260dffd8f2fb1cb56d599f1e3486d9 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 9 Mar 2015 11:07:53 +0100
Subject: Initial commit

---
 mathcomp/ssreflect/Make | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 mathcomp/ssreflect/Make

(limited to 'mathcomp/ssreflect/Make')

diff --git a/mathcomp/ssreflect/Make b/mathcomp/ssreflect/Make
new file mode 100644
index 0000000..9e7c5db
--- /dev/null
+++ b/mathcomp/ssreflect/Make
@@ -0,0 +1,8 @@
+all.v
+eqtype.v
+seq.v
+ssrbool.v
+ssreflect.v
+ssrfun.v
+ssrmatching.v
+ssrnat.v
-- 
cgit v1.2.3