projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 28 Oct 2009 15:00:14 +0000 (15:00 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 28 Oct 2009 15:00:14 +0000 (15:00 +0000) | ||
| commit | 847f57ed13f0b281dc3f2aa84bd89252d1b6a989 | |
| tree | 144a4ad37f8886f6a686dd5d64bae93e9f917abd | tree | snapshot |
| parent | 6d0664747588f771e953c4d70f96e1cb5953d60e | commit | diff |
| helm/software/matita/nlibrary/sets/partitions.ma | diff | blob | history |