diff --git a/elpi/annot.elpi b/elpi/annot.elpi index 8be7bda..c33133b 100644 --- a/elpi/annot.elpi +++ b/elpi/annot.elpi @@ -1,6 +1,6 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Trocq % -% _______ % Copyright (C) 2023 MERCE % +% _______ % Copyright (C) 2023 Inria & MERCE % % |__ __| % (Mitsubishi Electric R&D Centre Europe) % % | |_ __ ___ ___ __ _ % Cyril Cohen % % | | '__/ _ \ / __/ _` | % Enzo Crance % diff --git a/elpi/constraints/constraint-graph.elpi b/elpi/constraints/constraint-graph.elpi index 0117731..ca9947a 100644 --- a/elpi/constraints/constraint-graph.elpi +++ b/elpi/constraints/constraint-graph.elpi @@ -1,6 +1,6 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Trocq % -% _______ % Copyright (C) 2023 MERCE % +% _______ % Copyright (C) 2023 Inria & MERCE % % |__ __| % (Mitsubishi Electric R&D Centre Europe) % % | |_ __ ___ ___ __ _ % Cyril Cohen % % | | '__/ _ \ / __/ _` | % Enzo Crance % diff --git a/elpi/constraints/constraints.elpi b/elpi/constraints/constraints.elpi index 65405a8..46b0cfc 100644 --- a/elpi/constraints/constraints.elpi +++ b/elpi/constraints/constraints.elpi @@ -1,6 +1,6 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Trocq % -% _______ % Copyright (C) 2023 MERCE % +% _______ % Copyright (C) 2023 Inria & MERCE % % |__ __| % (Mitsubishi Electric R&D Centre Europe) % % | |_ __ ___ ___ __ _ % Cyril Cohen % % | | '__/ _ \ / __/ _` | % Enzo Crance % diff --git a/elpi/constraints/simple-graph.elpi b/elpi/constraints/simple-graph.elpi index 1dd3767..e0d4959 100644 --- a/elpi/constraints/simple-graph.elpi +++ b/elpi/constraints/simple-graph.elpi @@ -1,6 +1,6 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Trocq % -% _______ % Copyright (C) 2023 MERCE % +% _______ % Copyright (C) 2023 Inria & MERCE % % |__ __| % (Mitsubishi Electric R&D Centre Europe) % % | |_ __ ___ ___ __ _ % Cyril Cohen % % | | '__/ _ \ / __/ _` | % Enzo Crance % diff --git a/elpi/param-class.elpi b/elpi/param-class.elpi index f6aee8b..17968a9 100644 --- a/elpi/param-class.elpi +++ b/elpi/param-class.elpi @@ -1,6 +1,6 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Trocq % -% _______ % Copyright (C) 2023 MERCE % +% _______ % Copyright (C) 2023 Inria & MERCE % % |__ __| % (Mitsubishi Electric R&D Centre Europe) % % | |_ __ ___ ___ __ _ % Cyril Cohen % % | | '__/ _ \ / __/ _` | % Enzo Crance % diff --git a/elpi/param.elpi b/elpi/param.elpi index b81c0bb..815a44e 100644 --- a/elpi/param.elpi +++ b/elpi/param.elpi @@ -1,6 +1,6 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Trocq % -% _______ % Copyright (C) 2023 MERCE % +% _______ % Copyright (C) 2023 Inria & MERCE % % |__ __| % (Mitsubishi Electric R&D Centre Europe) % % | |_ __ ___ ___ __ _ % Cyril Cohen % % | | '__/ _ \ / __/ _` | % Enzo Crance % diff --git a/elpi/util.elpi b/elpi/util.elpi index 2141a24..45e664e 100644 --- a/elpi/util.elpi +++ b/elpi/util.elpi @@ -1,6 +1,6 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Trocq % -% _______ % Copyright (C) 2023 MERCE % +% _______ % Copyright (C) 2023 Inria & MERCE % % |__ __| % (Mitsubishi Electric R&D Centre Europe) % % | |_ __ ___ ___ __ _ % Cyril Cohen % % | | '__/ _ \ / __/ _` | % Enzo Crance % diff --git a/examples/Example.v b/examples/Example.v index 28fc1e8..60e3bb7 100644 --- a/examples/Example.v +++ b/examples/Example.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/examples/Vector_tuple.v b/examples/Vector_tuple.v index 2ed7ee4..20fed4a 100644 --- a/examples/Vector_tuple.v +++ b/examples/Vector_tuple.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/examples/int_to_Zp.v b/examples/int_to_Zp.v index 84f34bf..71964eb 100644 --- a/examples/int_to_Zp.v +++ b/examples/int_to_Zp.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/examples/peano_bin_nat.v b/examples/peano_bin_nat.v index ff1e1b9..b421095 100644 --- a/examples/peano_bin_nat.v +++ b/examples/peano_bin_nat.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/examples/setoid_rewrite.v b/examples/setoid_rewrite.v index 5d0d14b..c5efa35 100644 --- a/examples/setoid_rewrite.v +++ b/examples/setoid_rewrite.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/examples/summable.v b/examples/summable.v index b208d6d..1f5b52f 100644 --- a/examples/summable.v +++ b/examples/summable.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/examples/trocq_gen_rewrite.v b/examples/trocq_gen_rewrite.v index 08c9df3..75d79fb 100644 --- a/examples/trocq_gen_rewrite.v +++ b/examples/trocq_gen_rewrite.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/examples/trocq_setoid_rewrite.v b/examples/trocq_setoid_rewrite.v index fc56e2f..835eeaf 100644 --- a/examples/trocq_setoid_rewrite.v +++ b/examples/trocq_setoid_rewrite.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Common.v b/theories/Common.v index 11171f9..d9c60c6 100644 --- a/theories/Common.v +++ b/theories/Common.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Database.v b/theories/Database.v index 45aa564..038e3a7 100644 --- a/theories/Database.v +++ b/theories/Database.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Hierarchy.v b/theories/Hierarchy.v index accc31c..fde29ec 100644 --- a/theories/Hierarchy.v +++ b/theories/Hierarchy.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/HoTT_additions.v b/theories/HoTT_additions.v index c586e76..83dca9f 100644 --- a/theories/HoTT_additions.v +++ b/theories/HoTT_additions.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Param.v b/theories/Param.v index 42117b8..518ebde 100644 --- a/theories/Param.v +++ b/theories/Param.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Param44.v b/theories/Param44.v index da30fc8..9aeff67 100644 --- a/theories/Param44.v +++ b/theories/Param44.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Param_Type.v b/theories/Param_Type.v index 104eaff..bcc091c 100644 --- a/theories/Param_Type.v +++ b/theories/Param_Type.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Param_arrow.v b/theories/Param_arrow.v index c52a334..eff3688 100644 --- a/theories/Param_arrow.v +++ b/theories/Param_arrow.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Param_bool.v b/theories/Param_bool.v index 0f73420..c031693 100644 --- a/theories/Param_bool.v +++ b/theories/Param_bool.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Param_forall.v b/theories/Param_forall.v index 5c82ab8..3b4f660 100644 --- a/theories/Param_forall.v +++ b/theories/Param_forall.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Param_nat.v b/theories/Param_nat.v index c15cd4e..0d54a7c 100644 --- a/theories/Param_nat.v +++ b/theories/Param_nat.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Param_option.v b/theories/Param_option.v index ec39169..190114d 100644 --- a/theories/Param_option.v +++ b/theories/Param_option.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Param_paths.v b/theories/Param_paths.v index c8d01cc..ec8bddd 100644 --- a/theories/Param_paths.v +++ b/theories/Param_paths.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Param_prod.v b/theories/Param_prod.v index d089e98..ec30dea 100644 --- a/theories/Param_prod.v +++ b/theories/Param_prod.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Param_sigma.v b/theories/Param_sigma.v index 3abd423..1d42b6c 100644 --- a/theories/Param_sigma.v +++ b/theories/Param_sigma.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Param_trans.v b/theories/Param_trans.v index bbac977..a0c32b8 100644 --- a/theories/Param_trans.v +++ b/theories/Param_trans.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Param_vector.v b/theories/Param_vector.v index b353de0..3eb4bf8 100644 --- a/theories/Param_vector.v +++ b/theories/Param_vector.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Trocq.v b/theories/Trocq.v index 7bee890..207d601 100644 --- a/theories/Trocq.v +++ b/theories/Trocq.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Uparam.v b/theories/Uparam.v index f3d7131..a2a37d9 100644 --- a/theories/Uparam.v +++ b/theories/Uparam.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *) diff --git a/theories/Vernac.v b/theories/Vernac.v index 57a733e..e2e2f90 100644 --- a/theories/Vernac.v +++ b/theories/Vernac.v @@ -1,6 +1,6 @@ (*****************************************************************************) (* * Trocq *) -(* _______ * Copyright (C) 2023 MERCE *) +(* _______ * Copyright (C) 2023 Inria & MERCE *) (* |__ __| * (Mitsubishi Electric R&D Centre Europe) *) (* | |_ __ ___ ___ __ _ * Cyril Cohen *) (* | | '__/ _ \ / __/ _` | * Enzo Crance *)