Skip to content

Commit 86f5c0c

Browse files
maximedenesmaximedenes
committed
Update copyright headers.
1 parent af5eafa commit 86f5c0c

File tree

1,185 files changed

+1185
-1185
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

1,185 files changed

+1185
-1185
lines changed

‎checker/check.ml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/check_stat.ml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/check_stat.mli‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/checker.ml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/cic.mli‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/closure.ml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/closure.mli‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/indtypes.ml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/indtypes.mli‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/inductive.ml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

0 commit comments

Comments
 (0)