Skip to content

Commit

Permalink
📄 Add Inria in license
Browse files Browse the repository at this point in the history
  • Loading branch information
@ecranceMERCE
ecranceMERCE committed Jan 2, 2024
1 parent 38792d2 commit 0ab5537
Show file tree
Hide file tree
Showing 35 changed files with 35 additions and 35 deletions.
2 changes: 1 addition & 1 deletion elpi/annot.elpi
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% % Trocq %
% _______ % Copyright (C) 2023 MERCE %
% _______ % Copyright (C) 2023 Inria & MERCE %
% |__ __| % (Mitsubishi Electric R&D Centre Europe) %
% | |_ __ ___ ___ __ _ % Cyril Cohen <[email protected]> %
% | | '__/ _ \ / __/ _` | % Enzo Crance <[email protected]> %
Expand Down
2 changes: 1 addition & 1 deletion elpi/constraints/constraint-graph.elpi
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% % Trocq %
% _______ % Copyright (C) 2023 MERCE %
% _______ % Copyright (C) 2023 Inria & MERCE %
% |__ __| % (Mitsubishi Electric R&D Centre Europe) %
% | |_ __ ___ ___ __ _ % Cyril Cohen <[email protected]> %
% | | '__/ _ \ / __/ _` | % Enzo Crance <[email protected]> %
Expand Down
2 changes: 1 addition & 1 deletion elpi/constraints/constraints.elpi
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% % Trocq %
% _______ % Copyright (C) 2023 MERCE %
% _______ % Copyright (C) 2023 Inria & MERCE %
% |__ __| % (Mitsubishi Electric R&D Centre Europe) %
% | |_ __ ___ ___ __ _ % Cyril Cohen <[email protected]> %
% | | '__/ _ \ / __/ _` | % Enzo Crance <[email protected]> %
Expand Down
2 changes: 1 addition & 1 deletion elpi/constraints/simple-graph.elpi
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% % Trocq %
% _______ % Copyright (C) 2023 MERCE %
% _______ % Copyright (C) 2023 Inria & MERCE %
% |__ __| % (Mitsubishi Electric R&D Centre Europe) %
% | |_ __ ___ ___ __ _ % Cyril Cohen <[email protected]> %
% | | '__/ _ \ / __/ _` | % Enzo Crance <[email protected]> %
Expand Down
2 changes: 1 addition & 1 deletion elpi/param-class.elpi
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% % Trocq %
% _______ % Copyright (C) 2023 MERCE %
% _______ % Copyright (C) 2023 Inria & MERCE %
% |__ __| % (Mitsubishi Electric R&D Centre Europe) %
% | |_ __ ___ ___ __ _ % Cyril Cohen <[email protected]> %
% | | '__/ _ \ / __/ _` | % Enzo Crance <[email protected]> %
Expand Down
2 changes: 1 addition & 1 deletion elpi/param.elpi
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% % Trocq %
% _______ % Copyright (C) 2023 MERCE %
% _______ % Copyright (C) 2023 Inria & MERCE %
% |__ __| % (Mitsubishi Electric R&D Centre Europe) %
% | |_ __ ___ ___ __ _ % Cyril Cohen <[email protected]> %
% | | '__/ _ \ / __/ _` | % Enzo Crance <[email protected]> %
Expand Down
2 changes: 1 addition & 1 deletion elpi/util.elpi
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% % Trocq %
% _______ % Copyright (C) 2023 MERCE %
% _______ % Copyright (C) 2023 Inria & MERCE %
% |__ __| % (Mitsubishi Electric R&D Centre Europe) %
% | |_ __ ___ ___ __ _ % Cyril Cohen <[email protected]> %
% | | '__/ _ \ / __/ _` | % Enzo Crance <[email protected]> %
Expand Down
2 changes: 1 addition & 1 deletion examples/Example.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion examples/Vector_tuple.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion examples/int_to_Zp.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion examples/peano_bin_nat.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion examples/setoid_rewrite.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion examples/summable.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion examples/trocq_gen_rewrite.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion examples/trocq_setoid_rewrite.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Common.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Database.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Hierarchy.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/HoTT_additions.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Param.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Param44.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Param_Type.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Param_arrow.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Param_bool.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Param_forall.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Param_nat.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Param_option.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Param_paths.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Param_prod.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Param_sigma.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Param_trans.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Param_vector.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Trocq.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Uparam.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down
2 changes: 1 addition & 1 deletion theories/Vernac.v
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(*****************************************************************************)
(* * Trocq *)
(* _______ * Copyright (C) 2023 MERCE *)
(* _______ * Copyright (C) 2023 Inria & MERCE *)
(* |__ __| * (Mitsubishi Electric R&D Centre Europe) *)
(* | |_ __ ___ ___ __ _ * Cyril Cohen <[email protected]> *)
(* | | '__/ _ \ / __/ _` | * Enzo Crance <[email protected]> *)
Expand Down

0 comments on commit 0ab5537

Please sign in to comment.