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. --- proofs/clenv.ml | 4 ++-- proofs/clenv.mli | 4 ++-- proofs/clenvtac.ml | 4 ++-- proofs/clenvtac.mli | 4 ++-- proofs/evar_refiner.ml | 4 ++-- proofs/evar_refiner.mli | 4 ++-- proofs/goal.ml | 4 ++-- proofs/goal.mli | 4 ++-- proofs/goal_select.ml | 4 ++-- proofs/goal_select.mli | 4 ++-- proofs/logic.ml | 4 ++-- proofs/logic.mli | 4 ++-- proofs/miscprint.ml | 4 ++-- proofs/miscprint.mli | 4 ++-- proofs/proof.ml | 4 ++-- proofs/proof.mli | 4 ++-- proofs/proof_bullet.ml | 4 ++-- proofs/proof_bullet.mli | 4 ++-- proofs/refine.ml | 4 ++-- proofs/refine.mli | 4 ++-- proofs/refiner.ml | 4 ++-- proofs/refiner.mli | 4 ++-- proofs/tacmach.ml | 4 ++-- proofs/tacmach.mli | 4 ++-- proofs/tactypes.ml | 4 ++-- 25 files changed, 50 insertions(+), 50 deletions(-) (limited to 'proofs') diff --git a/proofs/clenv.ml b/proofs/clenv.ml index b0eb8dc646..83ef91bfd9 100644 --- a/proofs/clenv.ml +++ b/proofs/clenv.ml @@ -1,7 +1,7 @@ (************************************************************************) (* * The Coq Proof Assistant / The Coq Development Team *) -(* v * INRIA, CNRS and contributors - Copyright 1999-2019 *) -(*