projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 26 Sep 2005 11:06:32 +0000 (11:06 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 26 Sep 2005 11:06:32 +0000 (11:06 +0000) | ||
| commit | c3b6e22034e3029195031d31c94983c381ae659b | |
| tree | 47aed5d632c97b35140eaf139fe7fac3298d8e43 | tree | snapshot |
| parent | 15e1fe3260e890b9a206b898084e8f19253a13b7 | commit | diff |
| helm/matita/library/nat/compare.ma | diff | blob | history | |
| helm/matita/library/nat/permutation.ma | [new file with mode: 0644] | blob |
| helm/matita/library/nat/sigma_and_pi.ma | diff | blob | history |