projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 14:01:47 +0000 (14:01 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 14:01:47 +0000 (14:01 +0000) | ||
| commit | af0e62403bbbc7045efed096261d473da24eb446 | |
| tree | 29969ba311f2ec4be17880acc03b0016198ce330 | tree | snapshot |
| parent | 2a3865b61ac21e3a5eabdef235339ee022b2c942 | commit | diff |
| matita/tests/coercions_propagation.ma | diff | blob | history |