projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 26 Sep 2006 08:26:17 +0000 (08:26 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 26 Sep 2006 08:26:17 +0000 (08:26 +0000) | ||
| commit | 576a1f3f67dc0207a664a127fe482facbfa2a826 | |
| tree | 24655bce80469b765ebfdbf625e3fde5b4421d1b | tree | snapshot |
| parent | 7e1af5926cf614736c0575a4a3ae2c3cc3b26924 | commit | diff |
| helm/software/matita/library/Z/z.ma | diff | blob | history | |
| helm/software/matita/library/list/list.ma | diff | blob | history |