projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 6 Jun 2008 10:07:22 +0000 (10:07 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 6 Jun 2008 10:07:22 +0000 (10:07 +0000) | ||
| commit | 16f4598e9d2ada0b471e7d5cbe84295c7e34c27c | |
| tree | 1259df7e0772825a161c83d95172bf27fc6dc2b5 | tree | snapshot |
| parent | 3a43b5be5e112404f79a6b8b5dab07e91f2467f2 | commit | diff |
| helm/software/matita/library/depends | diff | blob | history | |
| helm/software/matita/library/nat/sieve.ma | diff | blob | history |