helm/software/matita/contribs/RELATIONAL/depends

   1 preamble.ma datatypes/constructors.ma logic/connectives.ma logic/equality.ma
   2 datatypes/Nat.ma preamble.ma
   3 datatypes/Zah.ma datatypes/Nat.ma
   4 datatypes/List.ma preamble.ma
   5 datatypes/Bool.ma preamble.ma
   6 ZEq/setoid.ma NPlus/fun.ma ZEq/defs.ma
   7 ZEq/defs.ma NPlus/defs.ma datatypes/Zah.ma
   8 NLE/nplus.ma NLE/defs.ma
   9 NLE/props.ma NLE/order.ma
  10 NLE/inv.ma NLE/defs.ma
  11 NLE/defs.ma NPlus/defs.ma datatypes/Nat.ma
  12 NLE/order.ma NLE/inv.ma
  13 NPlusList/props.ma NPlusList/defs.ma
  14 NPlusList/defs.ma NPlus/defs.ma datatypes/List.ma
  15 NPlus/inv.ma NPlus/defs.ma
  16 NPlus/monoid.ma NPlus/fun.ma
  17 NPlus/defs.ma datatypes/Nat.ma
  18 NPlus/fun.ma NPlus/inv.ma
  19 datatypes/constructors.ma
  20 logic/connectives.ma
  21 logic/equality.ma