projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 24 Jul 2006 14:09:30 +0000 (14:09 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 24 Jul 2006 14:09:30 +0000 (14:09 +0000) | ||
| commit | b273fb8dacc8ce058ffa4677846085864ace6b36 | |
| tree | d59fa81dc523eb77f546df671f11ac4604d1e2ff | tree | snapshot |
| parent | c7c8932407f0c9bc75a596f5b51058cbe9d86f40 | commit | diff |
| helm/software/matita/library/logic/equality.ma | diff | blob | history |