projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 19 Jul 2005 11:55:15 +0000 (11:55 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 19 Jul 2005 11:55:15 +0000 (11:55 +0000) | ||
| commit | 6dcce596f1e6e2c352f67f5602556a0c41efd7bb | |
| tree | 79026a78edd1afdfc2c3965244e2fd11b96d292d | tree | snapshot |
| parent | b42c305a6f7dd0d0495afd442af0653df8f35d85 | commit | diff |
| helm/matita/tests/elim.ma | diff | blob | history |