]> matita.cs.unibo.it Git - helm.git/commit
Inclusion "improved".
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Oct 2006 09:46:37 +0000 (09:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 12 Oct 2006 09:46:37 +0000 (09:46 +0000)
commit740b24c35e7ef95415519b9c0ea37125bfc90fd1
treed1b11158ff68b2b4edd9460e4c89f2036ecd8e2d
parent219834c0e605004a33cae194f1216c0b877b8ab4
Inclusion "improved".
matita/contribs/CoRN/algebra/SetoidFun.ma