projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 21 May 2009 11:42:28 +0000 (11:42 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 21 May 2009 11:42:28 +0000 (11:42 +0000) | ||
| commit | 574931a682c742e47d77d7115b7c80bae5857d23 | |
| tree | 11e0f027a2f51f63c4a50ab117c1720a497f4880 | tree | snapshot |
| parent | fcf9d69625a32a27c2a37e93ecd8de5bb9494c51 | commit | diff |
| helm/software/matita/library/nat/generic_iter_p.ma | diff | blob | history |