+ algebra/abelian_magmas.ma -> algebra/magmas.ma [];
+ "basics/functions.ma" [];
+ basics/functions.ma -> Plogic/connectives.ma [];
+ basics/functions.ma -> Plogic/equality.ma [];
+ "Plogic/connectives.ma" [];
+ Plogic/connectives.ma -> Plogic/equality.ma [];
+ "arithmetics/nat.ma" [];
+ arithmetics/nat.ma -> basics/bool.ma [];
+ arithmetics/nat.ma -> basics/eq.ma [];
+ arithmetics/nat.ma -> basics/functions.ma [];
+ arithmetics/nat.ma -> hints_declaration.ma [];
+ "datatypes/sums.ma" [];
+ datatypes/sums.ma -> datatypes/pairs.ma [];