projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 2 Jul 2005 13:59:16 +0000 (13:59 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 2 Jul 2005 13:59:16 +0000 (13:59 +0000) | ||
| commit | 0bf30da6d3f539145bac0213887789f87bc8cc6a | |
| tree | aeb5379799aee070d7538bd1615130d0bf8119d7 | tree | snapshot |
| parent | 612fb083e885d31e73df6804384321a85b9d322f | commit | diff |
| helm/matita/library/equality.ma | diff | blob | history |