projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 19 Aug 2009 16:54:16 +0000 (16:54 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 19 Aug 2009 16:54:16 +0000 (16:54 +0000) | ||
| commit | 8272528f48b942a80024aeb9b625d99cfe3f0f44 | |
| tree | efd6ff2e8949856bc4eaf719f4c7aee6a8661a26 | tree | snapshot |
| parent | 2c81e4168d6cec784100b0e3cd3f377aa257daee | commit | diff |
| helm/software/matita/nlibrary/sets/partitions.ma | diff | blob | history |