projects / helm.git / commit
| author | Cristian Armentano <??> | |
| Fri, 29 Jun 2007 14:12:07 +0000 (14:12 +0000) | ||
| committer | Cristian Armentano <??> | |
| Fri, 29 Jun 2007 14:12:07 +0000 (14:12 +0000) | ||
| commit | e0c0312bde81f2d47a7756e998ca8e9bd9f39832 | |
| tree | 32904dc8eadf2ac8a281f76e00084d3a8d2dceda | tree | snapshot |
| parent | 6f0dadf45e51424b23e7d82f4304f82b96c1eba2 | commit | diff |
| helm/software/matita/library/Z/sigma_p.ma | diff | blob | history | |
| helm/software/matita/library/nat/iteration2.ma | diff | blob | history |