- 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 [];
- "logic/destruct_bb.ma" [];
- logic/destruct_bb.ma -> logic/equality.ma [];
- "datatypes/bool.ma" [];
- datatypes/bool.ma -> logic/pts.ma [];
- "logic/equality.ma" [];
- logic/equality.ma -> logic/connectives.ma [];
- logic/equality.ma -> properties/relations.ma [];
- "sets/partitions.ma" [];
- sets/partitions.ma -> datatypes/pairs.ma [];
- sets/partitions.ma -> nat/compare.ma [];
- sets/partitions.ma -> nat/minus.ma [];
- sets/partitions.ma -> nat/plus.ma [];
- sets/partitions.ma -> sets/sets.ma [];
- "logic/cprop.ma" [];
- logic/cprop.ma -> hints_declaration.ma [];
- logic/cprop.ma -> sets/setoids1.ma [];
- "topology/igft.ma" [];
- topology/igft.ma -> logic/equality.ma [];
- topology/igft.ma -> sets/sets.ma [];
- "basics/bool.ma" [];
- basics/bool.ma -> basics/eq.ma [];
- basics/bool.ma -> basics/functions.ma [];
- "algebra/magmas.ma" [];
- algebra/magmas.ma -> sets/sets.ma [];
- "nat/minus.ma" [];
- nat/minus.ma -> nat/order.ma [];
- "hints_declaration.ma" [];
- hints_declaration.ma -> logic/pts.ma [];
- "arithmetics/Z.ma" [];
- arithmetics/Z.ma -> arithmetics/nat.ma [];
- "properties/relations1.ma" [];
- properties/relations1.ma -> logic/pts.ma [];