projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 8 Jun 2008 17:12:43 +0000 (17:12 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 8 Jun 2008 17:12:43 +0000 (17:12 +0000) | ||
| commit | a97797680ffd7f1cc96803e25f4879211e1e6d66 | |
| tree | 2f22ccc543f01bf411b86c9d90f72ce1d9cea74b | tree | snapshot |
| parent | dcb1f00a9377a496b65d34f77a9c860b506df6c5 | commit | diff |
| helm/software/matita/library/list/list.ma | diff | blob | history | |
| helm/software/matita/library/list/sort.ma | diff | blob | history |