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 | c190d56c55f47557ec04b909fd5c7a4539893a39 | |
| tree | 76b5d13bf188a341c2689b2211fafbc847f9055b | tree | snapshot |
| parent | 7a353025d5429233ca0df4faacace2aee51d097a | commit | diff |
| matita/tests/assumption.ma | diff | blob | history |