]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 219834c) | patch
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
treed1b11158ff68b2b4edd9460e4c89f2036ecd8e2dtree | snapshot
parent219834c0e605004a33cae194f1216c0b877b8ab4commit | diff
Inclusion "improved".
matita/contribs/CoRN/algebra/SetoidFun.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.