]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/contribs/CoRN/depends
fixed some regressions
[helm.git] / 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