From 155e671f7b83293ae327ddbd252d1d1ac961ab9a Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 9 Mar 2015 13:35:08 +0100
Subject: some work on ssreflect and discrete

---
 etc/NOTICE | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 etc/NOTICE

(limited to 'etc/NOTICE')

diff --git a/etc/NOTICE b/etc/NOTICE
new file mode 100644
index 0000000..a8dd3a6
--- /dev/null
+++ b/etc/NOTICE
@@ -0,0 +1,2 @@
+(* (c) Copyright Microsoft Corporation and Inria.                       *)
+(* You may distribute this file under the terms of the CeCILL-B license *)
-- 
cgit v1.2.3