projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 2 Jul 2005 14:50:11 +0000 (14:50 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 2 Jul 2005 14:50:11 +0000 (14:50 +0000) | ||
| commit | d1c92207efd70bed92a69014c0264bee717992ba | |
| tree | 85c597f523a36c7ec8cd0e99aaa427e01fb9572f | tree | snapshot |
| parent | ed207660b8a0fa34f1d34b9dbb41144c5be29e68 | commit | diff |
| helm/matita/library/equality.ma | diff | blob | history | |
| helm/matita/library/nat.ma | diff | blob | history |