projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 23 Nov 2006 09:33:24 +0000 (09:33 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 23 Nov 2006 09:33:24 +0000 (09:33 +0000) | ||
| commit | 4416c87ef01ef870067dce5a77e9471e01c3f51f | |
| tree | 7817ebd8a317fdf8eb79910b9ff1318e6a89eeb8 | tree | snapshot |
| parent | 7bd959df2e265883f1c8b698529909dd0078a558 | commit | diff |
| matita/library/algebra/CoRN/SetoidFun.ma | [new file with mode: 0644] | blob |
| matita/library/algebra/CoRN/Setoids.ma | [new file with mode: 0644] | blob |