projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:29:21 +0000 (11:29 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:29:21 +0000 (11:29 +0000) | ||
| commit | 27c08bef1eb2f240f5542963d1a245bc391909e1 | |
| tree | 0b5fd0d3314c74be4aa8c10ac0a875028cb570e3 | tree | snapshot |
| parent | 3e77313de19d2343092148e8a94161b2a8996a4d | commit | diff |
| matita/tests/destruct.ma | [new file with mode: 0644] | blob |
| matita/tests/discriminate.ma | [deleted file] | blob | history |