projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 10 Dec 2007 14:24:40 +0000 (14:24 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 10 Dec 2007 14:24:40 +0000 (14:24 +0000) | ||
| commit | c38c15fa800498bcac6230e07a31ed54414a0865 | |
| tree | 4cadb6d6cf805895b75340130f53a5d08a5e2d49 | tree | snapshot |
| parent | 6067115471521e8b9ea805531cb94a0a80774314 | commit | diff |
| helm/software/matita/library/nat/neper.ma | diff | blob | history |