projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 28 Oct 2007 16:05:41 +0000 (16:05 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 28 Oct 2007 16:05:41 +0000 (16:05 +0000) | ||
| commit | 1292d243af469c5cb3dcb3677d84012420de015e | |
| tree | 674f3cfaba35b44c07442b2c34610a4099627f65 | tree | snapshot |
| parent | 0311d53e418a2f82b47d08ecd7157bc6ecc81732 | commit | diff |
| helm/software/matita/library/decidable_kit/fintype.ma | diff | blob | history |