From cd072f48cf929d7d7f9170d3348ca44a4802a511 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 28 Jul 2015 13:36:38 +0200
Subject: update copyright banner

---
 mathcomp/basic/bigop.v            | 3 ++-
 mathcomp/basic/binomial.v         | 3 ++-
 mathcomp/basic/choice.v           | 3 ++-
 mathcomp/basic/div.v              | 3 ++-
 mathcomp/basic/finfun.v           | 3 ++-
 mathcomp/basic/fingraph.v         | 3 ++-
 mathcomp/basic/finset.v           | 3 ++-
 mathcomp/basic/fintype.v          | 3 ++-
 mathcomp/basic/generic_quotient.v | 3 ++-
 mathcomp/basic/path.v             | 3 ++-
 mathcomp/basic/prime.v            | 3 ++-
 mathcomp/basic/tuple.v            | 3 ++-
 12 files changed, 24 insertions(+), 12 deletions(-)

(limited to 'mathcomp/basic')

diff --git a/mathcomp/basic/bigop.v b/mathcomp/basic/bigop.v
index 08c7e0a..5fed5bb 100644
--- a/mathcomp/basic/bigop.v
+++ b/mathcomp/basic/bigop.v
@@ -1,4 +1,5 @@
-(* (c) Copyright Microsoft Corporation and Inria. All rights reserved. *)
+(* (c) Copyright 2006-2015 Microsoft Corporation and Inria.                  *)
+(* Distributed under the terms of CeCILL-B.                                  *)
 Require Import mathcomp.ssreflect.ssreflect.
 From mathcomp
 Require Import ssrbool ssrfun eqtype ssrnat seq path div fintype.
diff --git a/mathcomp/basic/binomial.v b/mathcomp/basic/binomial.v
index a959bc7..a136bfd 100644
--- a/mathcomp/basic/binomial.v
+++ b/mathcomp/basic/binomial.v
@@ -1,4 +1,5 @@
-(* (c) Copyright Microsoft Corporation and Inria. All rights reserved. *)
+(* (c) Copyright 2006-2015 Microsoft Corporation and Inria.                  *)
+(* Distributed under the terms of CeCILL-B.                                  *)
 Require Import mathcomp.ssreflect.ssreflect.
 From mathcomp
 Require Import ssrfun ssrbool eqtype ssrnat seq path div.
diff --git a/mathcomp/basic/choice.v b/mathcomp/basic/choice.v
index 378387e..4146634 100644
--- a/mathcomp/basic/choice.v
+++ b/mathcomp/basic/choice.v
@@ -1,4 +1,5 @@
-(* (c) Copyright Microsoft Corporation and Inria. All rights reserved. *)
+(* (c) Copyright 2006-2015 Microsoft Corporation and Inria.                  *)
+(* Distributed under the terms of CeCILL-B.                                  *)
 Require Import mathcomp.ssreflect.ssreflect.
 From mathcomp
 Require Import ssrfun ssrbool eqtype ssrnat seq.
diff --git a/mathcomp/basic/div.v b/mathcomp/basic/div.v
index 8e9a3cf..e858d54 100644
--- a/mathcomp/basic/div.v
+++ b/mathcomp/basic/div.v
@@ -1,4 +1,5 @@
-(* (c) Copyright Microsoft Corporation and Inria. All rights reserved. *)
+(* (c) Copyright 2006-2015 Microsoft Corporation and Inria.                  *)
+(* Distributed under the terms of CeCILL-B.                                  *)
 Require Import mathcomp.ssreflect.ssreflect.
 From mathcomp
 Require Import ssrfun ssrbool eqtype ssrnat seq.
diff --git a/mathcomp/basic/finfun.v b/mathcomp/basic/finfun.v
index 44c1ceb..ca148e2 100644
--- a/mathcomp/basic/finfun.v
+++ b/mathcomp/basic/finfun.v
@@ -1,4 +1,5 @@
-(* (c) Copyright Microsoft Corporation and Inria. All rights reserved. *)
+(* (c) Copyright 2006-2015 Microsoft Corporation and Inria.                  *)
+(* Distributed under the terms of CeCILL-B.                                  *)
 Require Import mathcomp.ssreflect.ssreflect.
 From mathcomp
 Require Import ssrfun ssrbool eqtype ssrnat seq choice fintype tuple.
diff --git a/mathcomp/basic/fingraph.v b/mathcomp/basic/fingraph.v
index 617188c..54dde32 100644
--- a/mathcomp/basic/fingraph.v
+++ b/mathcomp/basic/fingraph.v
@@ -1,4 +1,5 @@
-(* (c) Copyright Microsoft Corporation and Inria. All rights reserved. *)
+(* (c) Copyright 2006-2015 Microsoft Corporation and Inria.                  *)
+(* Distributed under the terms of CeCILL-B.                                  *)
 Require Import mathcomp.ssreflect.ssreflect.
 From mathcomp
 Require Import ssrbool ssrfun eqtype ssrnat seq path fintype.
diff --git a/mathcomp/basic/finset.v b/mathcomp/basic/finset.v
index ef63a24..6fa29ff 100644
--- a/mathcomp/basic/finset.v
+++ b/mathcomp/basic/finset.v
@@ -1,4 +1,5 @@
-(* (c) Copyright Microsoft Corporation and Inria. All rights reserved. *)
+(* (c) Copyright 2006-2015 Microsoft Corporation and Inria.                  *)
+(* Distributed under the terms of CeCILL-B.                                  *)
 Require Import mathcomp.ssreflect.ssreflect.
 From mathcomp
 Require Import ssrbool ssrfun eqtype ssrnat div seq choice fintype.
diff --git a/mathcomp/basic/fintype.v b/mathcomp/basic/fintype.v
index 66ac880..29d1f3e 100644
--- a/mathcomp/basic/fintype.v
+++ b/mathcomp/basic/fintype.v
@@ -1,4 +1,5 @@
-(* (c) Copyright Microsoft Corporation and Inria. All rights reserved. *)
+(* (c) Copyright 2006-2015 Microsoft Corporation and Inria.                  *)
+(* Distributed under the terms of CeCILL-B.                                  *)
 Require Import mathcomp.ssreflect.ssreflect.
 From mathcomp
 Require Import ssrfun ssrbool eqtype ssrnat seq choice.
diff --git a/mathcomp/basic/generic_quotient.v b/mathcomp/basic/generic_quotient.v
index d835b32..d78e0d8 100644
--- a/mathcomp/basic/generic_quotient.v
+++ b/mathcomp/basic/generic_quotient.v
@@ -1,4 +1,5 @@
-(* (c) Copyright Microsoft Corporation and Inria. All rights reserved. *)
+(* (c) Copyright 2006-2015 Microsoft Corporation and Inria.                  *)
+(* Distributed under the terms of CeCILL-B.                                  *)
 (* -*- coding : utf-8 -*- *)
 
 Require Import mathcomp.ssreflect.ssreflect.
diff --git a/mathcomp/basic/path.v b/mathcomp/basic/path.v
index 1ef7724..ec81f81 100644
--- a/mathcomp/basic/path.v
+++ b/mathcomp/basic/path.v
@@ -1,4 +1,5 @@
-(* (c) Copyright Microsoft Corporation and Inria. All rights reserved. *)
+(* (c) Copyright 2006-2015 Microsoft Corporation and Inria.                  *)
+(* Distributed under the terms of CeCILL-B.                                  *)
 Require Import mathcomp.ssreflect.ssreflect.
 From mathcomp
 Require Import ssrfun ssrbool eqtype ssrnat seq.
diff --git a/mathcomp/basic/prime.v b/mathcomp/basic/prime.v
index 88b9229..b346a93 100644
--- a/mathcomp/basic/prime.v
+++ b/mathcomp/basic/prime.v
@@ -1,4 +1,5 @@
-(* (c) Copyright Microsoft Corporation and Inria. All rights reserved. *)
+(* (c) Copyright 2006-2015 Microsoft Corporation and Inria.                  *)
+(* Distributed under the terms of CeCILL-B.                                  *)
 Require Import mathcomp.ssreflect.ssreflect.
 From mathcomp
 Require Import ssrfun ssrbool eqtype ssrnat seq path fintype.
diff --git a/mathcomp/basic/tuple.v b/mathcomp/basic/tuple.v
index a3adfe7..a6a154f 100644
--- a/mathcomp/basic/tuple.v
+++ b/mathcomp/basic/tuple.v
@@ -1,4 +1,5 @@
-(* (c) Copyright Microsoft Corporation and Inria. All rights reserved. *)
+(* (c) Copyright 2006-2015 Microsoft Corporation and Inria.                  *)
+(* Distributed under the terms of CeCILL-B.                                  *)
 Require Import mathcomp.ssreflect.ssreflect.
 From mathcomp
 Require Import ssrfun ssrbool eqtype ssrnat seq choice fintype.
-- 
cgit v1.2.3