]> matita.cs.unibo.it Git - helm.git/commit
Hmmm, quite broken now.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 4 Aug 2009 19:47:46 +0000 (19:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 4 Aug 2009 19:47:46 +0000 (19:47 +0000)
commitde1ac2d7795925edb488e4fac30d5e80537bfe33
tree3951f0193c07996ed0996bd5c12a24a74743ab2a
parentdb235934efa41a0f38e79747f6db4f468367410b
Hmmm, quite broken now.
helm/software/matita/nlibrary/algebra/magmas.ma