projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 31 Aug 2007 09:00:19 +0000 (09:00 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 31 Aug 2007 09:00:19 +0000 (09:00 +0000) | ||
| commit | 234034239572e8ea3e615faffc64fde668158a5d | |
| tree | 5fe0eee4ad878d933a782808d4ecd546cf9c90f5 | tree | snapshot |
| parent | 447c96d72448a6876e29b1d0b39400a139fa0be0 | commit | diff |
| matita/tests/coercions_nonuniform.ma | diff | blob | history |