helm/software/matita/contribs/CoRN/depends

   1 algebra/CoRN/SemiGroups.ma algebra/CoRN/SetoidInc.ma
   2 algebra/CoRN/SetoidInc.ma algebra/CoRN/SetoidFun.ma
   3 algebra/CoRN/Setoids.ma Z/plus.ma datatypes/constructors.ma higher_order_defs/relations.ma logic/equality.ma nat/nat.ma
   4 algebra/CoRN/SetoidFun.ma algebra/CoRN/Setoids.ma higher_order_defs/relations.ma
   5 Z/plus.ma
   6 datatypes/constructors.ma
   7 higher_order_defs/relations.ma
   8 logic/equality.ma
   9 nat/nat.ma