]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5366f90) | patch
(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
treee054aca778b8fd021852afa100d15ea742f24ae0tree | snapshot
parent5366f90df289f2ab2bd97c68643198f54ad2d2accommit | diff
(nat,plus) is an abelian, unital magma
helm/software/matita/nlibrary/algebra/abelian_magmas.ma [new file with mode: 0644] blob
helm/software/matita/nlibrary/algebra/unital_magmas.ma [new file with mode: 0644] blob
helm/software/matita/nlibrary/depends diff | blob | history
helm/software/matita/nlibrary/logic/equality.ma diff | blob | history
helm/software/matita/nlibrary/nat/plus.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.