diff --git a/common/Memdata.v b/common/Memdata.v
index 2c5fdb60d88520bef091ced50cf0352ba592cfbe..c5ec9a05ac797e4b51a89d6e1d117c0b6134f94c 100644
--- a/common/Memdata.v
+++ b/common/Memdata.v
@@ -1,3 +1,21 @@
+(* *********************************************************************)
+(*                                                                     *)
+(*              The Compcert verified compiler                         *)
+(*                                                                     *)
+(*          Xavier Leroy, INRIA Paris-Rocquencourt                     *)
+(*          Sandrine Blazy, ENSIIE and INRIA Paris-Rocquencourt        *)
+(*                                                                     *)
+(*  Copyright Institut National de Recherche en Informatique et en     *)
+(*  Automatique.  All rights reserved.  This file is distributed       *)
+(*  under the terms of the GNU General Public License as published by  *)
+(*  the Free Software Foundation, either version 2 of the License, or  *)
+(*  (at your option) any later version.  This file is also distributed *)
+(*  under the terms of the INRIA Non-Commercial License Agreement.     *)
+(*                                                                     *)
+(* *********************************************************************)
+
+(** In-memory representation of values. *)
+
 Require Import Coqlib.
 Require Import AST.
 Require Import Integers.