+ "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" [];