projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 29 Dec 2006 14:05:25 +0000 (14:05 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 29 Dec 2006 14:05:25 +0000 (14:05 +0000) | ||
| commit | 38aca08eb6a2385504947c96a1cfcd19f71ec0e4 | |
| tree | 5a6d433080f55bbd14b5c49fa8dc058d8da77eb0 | tree | snapshot |
| parent | 5f00ef380aafdaae93a40a3a47491d43ec9c3a62 | commit | diff |
| helm/software/matita/library/logic/equality.ma | diff | blob | history |