]>
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 |