projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 26 Aug 2008 17:03:41 +0000 (17:03 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 26 Aug 2008 17:03:41 +0000 (17:03 +0000) | ||
| commit | 187b433512cba119f84a476395e9df98136b1a56 | |
| tree | 97e4dcbc1415af8a4aa5ecf00cdbd6e98b744be4 | tree | snapshot |
| parent | a660b97f5a882da420809831581a7c3202fdaf35 | commit | diff |
| helm/software/matita/core_notation.moo | diff | blob | history | |
| helm/software/matita/library/algebra/finite_groups.ma | diff | blob | history |