[wp/share] fix headers specs

headers/close-source/MODIFIED_WHY3

 
 The Why3 Verification Platform   /   The Why3 Development Team
-Copyright 2010-2013   --   INRIA - CNRS - Paris-Sud University
+Copyright 2010-2019   --   Inria - CNRS - Paris-Sud University
 
 This software is distributed under the terms of the GNU Lesser
 General Public License version 2.1, with the special exception

headers/close-source/UNMODIFIED_WHY3

 
 The Why3 Verification Platform   /   The Why3 Development Team
-Copyright 2010-2013   --   INRIA - CNRS - Paris-Sud University
+Copyright 2010-2019   --   Inria - CNRS - Paris-Sud University
 
 This software is distributed under the terms of the GNU Lesser
 General Public License version 2.1, with the special exception
 on linking described in file LICENSE.
+

headers/header_spec.txt

@@ -1799,6 +1799,7 @@ src/plugins/wp/share/coqwp/Cfloat.v: CEA_WP
 src/plugins/wp/share/coqwp/Cint.v: CEA_WP
 src/plugins/wp/share/coqwp/Cmath.v: CEA_WP
 src/plugins/wp/share/coqwp/ExpLog.v: CEA_WP
+src/plugins/wp/share/coqwp/HighOrd.v: UNMODIFIED_WHY3
 src/plugins/wp/share/coqwp/Memory.v: CEA_WP
 src/plugins/wp/share/coqwp/Qed.v: CEA_WP
 src/plugins/wp/share/coqwp/Qedlib.v: CEA_WP
@@ -1809,8 +1810,10 @@ src/plugins/wp/share/coqwp/Zbits.v: CEA_WP
 src/plugins/wp/share/coqwp/bool/Bool.v: UNMODIFIED_WHY3
 src/plugins/wp/share/coqwp/int/Abs.v: UNMODIFIED_WHY3
 src/plugins/wp/share/coqwp/int/ComputerDivision.v: UNMODIFIED_WHY3
+src/plugins/wp/share/coqwp/int/Exponentiation.v: UNMODIFIED_WHY3
 src/plugins/wp/share/coqwp/int/Int.v: UNMODIFIED_WHY3
 src/plugins/wp/share/coqwp/int/MinMax.v: UNMODIFIED_WHY3
+src/plugins/wp/share/coqwp/int/Power.v: UNMODIFIED_WHY3
 src/plugins/wp/share/coqwp/map/Map.v: UNMODIFIED_WHY3
 src/plugins/wp/share/coqwp/map/Const.v: UNMODIFIED_WHY3
 src/plugins/wp/share/coqwp/real/Abs.v: UNMODIFIED_WHY3

headers/open-source/MODIFIED_WHY3

 
 The Why3 Verification Platform   /   The Why3 Development Team
-Copyright 2010-2013   --   INRIA - CNRS - Paris-Sud University
+Copyright 2010-2019   --   Inria - CNRS - Paris-Sud University
 
 This software is distributed under the terms of the GNU Lesser
 General Public License version 2.1, with the special exception

headers/open-source/UNMODIFIED_WHY3

 
 The Why3 Verification Platform   /   The Why3 Development Team
-Copyright 2010-2013   --   INRIA - CNRS - Paris-Sud University
+Copyright 2010-2019   --   Inria - CNRS - Paris-Sud University
 
 This software is distributed under the terms of the GNU Lesser
 General Public License version 2.1, with the special exception
 on linking described in file LICENSE.
+