]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Thu, 26 Jan 2006 17:51:06 +0000 (17:51 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Thu, 26 Jan 2006 17:51:06 +0000 (17:51 +0000) | ||
commit | a877debee863033e33a0f7d497e253ad3b076477 | |
tree | 2d901f9b5491a6ca4e4c6244f14eec297ac0137d | tree | snapshot |
parent | 1db3c6d81f853f98f145cd9924dd18b79ca846e9 | commit | diff |
helm/matita/library/nat/nat.ma | diff | blob | history |