]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 12 Oct 2006 09:46:37 +0000 (09:46 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 12 Oct 2006 09:46:37 +0000 (09:46 +0000) | ||
commit | 33e397c66c8ab7ff1adbffa6e3b2d152dbecad26 | |
tree | c4aa46863b5eab165c710798d0b9bb83d80bb052 | tree | snapshot |
parent | e1d918026477892040e0eeb532c017153a6e1880 | commit | diff |
helm/software/matita/contribs/CoRN/algebra/SetoidFun.ma | diff | blob | history |