]> matita.cs.unibo.it Git - helm.git/commit
ProdT was a perfect copy of Prod. Removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Feb 2008 18:08:50 +0000 (18:08 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Feb 2008 18:08:50 +0000 (18:08 +0000)
commitb715c8a42bd126e4b11b8b72451d6497ce1f7f73
tree573e031e724d04826a761081be021083b03f7400
parentfe40d64367a3105b09696557c256f5a78d4b7384
ProdT was a perfect copy of Prod. Removed.
Sum is now in Type.
helm/software/matita/library/algebra/CoRN/SemiGroups.ma
helm/software/matita/library/algebra/CoRN/Setoids.ma
helm/software/matita/library/datatypes/constructors.ma