projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:29:04 +0000 (11:29 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:29:04 +0000 (11:29 +0000) | ||
| commit | bad8133c002daeb010eb45d1f6317bc2b5f2b5f8 | |
| tree | 148624e89654e1dd1a942a3bdadce91b593dbd5a | tree | snapshot |
| parent | 558fe0583619fc7edfcf9f8eaa0b5faee2e78669 | commit | diff |
| helm/software/matita/tests/discriminate.ma | diff | blob | history |