From a99776e10e0b2198d2b811ad82631111fb450f8a Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Wed, 18 Mar 2020 12:14:26 +0100 Subject: Update headers in the whole code base. Add headers to a few files which were missing them. --- library/coqlib.ml | 4 ++-- library/coqlib.mli | 4 ++-- library/global.ml | 4 ++-- library/global.mli | 4 ++-- library/globnames.ml | 4 ++-- library/globnames.mli | 4 ++-- library/goptions.ml | 4 ++-- library/goptions.mli | 4 ++-- library/lib.ml | 4 ++-- library/lib.mli | 4 ++-- library/libnames.ml | 4 ++-- library/libnames.mli | 4 ++-- library/libobject.ml | 4 ++-- library/libobject.mli | 4 ++-- library/nametab.ml | 4 ++-- library/nametab.mli | 4 ++-- library/states.ml | 4 ++-- library/states.mli | 4 ++-- library/summary.ml | 4 ++-- library/summary.mli | 4 ++-- 20 files changed, 40 insertions(+), 40 deletions(-) (limited to 'library') diff --git a/library/coqlib.ml b/library/coqlib.ml index 00ea8b8489..04a6e159eb 100644 --- a/library/coqlib.ml +++ b/library/coqlib.ml @@ -1,7 +1,7 @@ (************************************************************************) (* * The Coq Proof Assistant / The Coq Development Team *) -(* v * INRIA, CNRS and contributors - Copyright 1999-2019 *) -(*