projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 20 Aug 2009 11:07:14 +0000 (11:07 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 20 Aug 2009 11:07:14 +0000 (11:07 +0000) | ||
| commit | 97090ce8f20a9446fbb064bf254c96b76b93a1b2 | |
| tree | abbd6fe309679edea459bb3a06b73d344e5370b9 | tree | snapshot |
| parent | bc9fca01f135aecc2940e7318f77fea34fd6ef30 | commit | diff |
| helm/software/matita/nlibrary/sets/partitions.ma | diff | blob | history |