projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:26:35 +0000 (11:26 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:26:35 +0000 (11:26 +0000) | ||
| commit | 558fe0583619fc7edfcf9f8eaa0b5faee2e78669 | |
| tree | 660956630ac5b9f927d02fde7c45729a9d308117 | tree | snapshot |
| parent | a4f84a6dedc07bd16de46c0acfef107f8c6f8176 | commit | diff |
| helm/software/matita/tests/assumption.ma | diff | blob | history |