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 | 109e6f703657938fc534211e394763997b258061 | |
| tree | 6e93eff683003f38d4afdc41f48054a2b6694c46 | tree | snapshot |
| parent | c99cecf223de21ed2ebb32106d661ce8b4dac9a8 | commit | diff |
| helm/software/matita/library/algebra/CoRN/SetoidFun.ma | [new file with mode: 0644] | blob |
| helm/software/matita/library/algebra/CoRN/Setoids.ma | [new file with mode: 0644] | blob |