projects / helm.git / commit
| author | Cristian Armentano <??> | |
| Fri, 29 Jun 2007 16:30:31 +0000 (16:30 +0000) | ||
| committer | Cristian Armentano <??> | |
| Fri, 29 Jun 2007 16:30:31 +0000 (16:30 +0000) | ||
| commit | 4ed827ab0c5a05ff3b496810d73d9f584e9dac3e | |
| tree | b31891924ad5db20356a90ef294791351de12f58 | tree | snapshot |
| parent | c883f2899a5f0604b65287f913292d049d9081a5 | commit | diff |
| helm/software/matita/library/Z/sigma_p.ma | diff | blob | history | |
| helm/software/matita/library/nat/iteration2.ma | diff | blob | history |