]> matita.cs.unibo.it Git - helm.git/commit
(nat,plus) is an abelian, unital magma
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Aug 2009 17:15:57 +0000 (17:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Aug 2009 17:15:57 +0000 (17:15 +0000)
commit3532e6714b7d0ee10b692e41c356866cfab5c646
treee054aca778b8fd021852afa100d15ea742f24ae0
parent5366f90df289f2ab2bd97c68643198f54ad2d2ac
(nat,plus) is an abelian, unital magma
helm/software/matita/nlibrary/algebra/abelian_magmas.ma [new file with mode: 0644]
helm/software/matita/nlibrary/algebra/unital_magmas.ma [new file with mode: 0644]
helm/software/matita/nlibrary/depends
helm/software/matita/nlibrary/logic/equality.ma
helm/software/matita/nlibrary/nat/plus.ma