projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 26 Sep 2006 08:48:08 +0000 (08:48 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 26 Sep 2006 08:48:08 +0000 (08:48 +0000) | ||
| commit | 88d9b90eb45721abe07bfce2c4d0768ef6420443 | |
| tree | 006ca8448f1f9053b8ed1c8614a151b9c1578e59 | tree | snapshot |
| parent | 576a1f3f67dc0207a664a127fe482facbfa2a826 | commit | diff |
| helm/software/matita/tests/decl.ma | diff | blob | history |