+ "basics/relations.ma" [];
+ "basics/relations.ma" -> "Plogic/connectives.ma" [];
+ "basics/list2.ma" [];
+ "basics/list2.ma" -> "arithmetics/nat.ma" [];
+ "basics/list2.ma" -> "basics/list.ma" [];
+ "topology/igft-setoid.ma" [];
+ "topology/igft-setoid.ma" -> "sets/sets.ma" [];