]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 4 Aug 2009 19:53:30 +0000 (19:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 4 Aug 2009 19:53:30 +0000 (19:53 +0000)
commitb750bf57b05ae855b742ca380344d38782ac6940
tree2757e3f4fcf3bc08414e5a0fdd4d7417cb60f3c4
parentde1ac2d7795925edb488e4fac30d5e80537bfe33
...
helm/software/matita/nlibrary/algebra/magmas.ma
helm/software/matita/nlibrary/depends
helm/software/matita/nlibrary/sets/sets.ma