projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 2 Oct 2006 15:15:31 +0000 (15:15 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Mon, 2 Oct 2006 15:15:31 +0000 (15:15 +0000) | ||
| commit | fd972f2c23de4c32d1335fb2b27e21854c6eb806 | |
| tree | c8d78f57c6d1de0d3b10a480a030cc096bdce336 | tree | snapshot |
| parent | 289c9b13a539c8f82602614561fae74ddbc1fe77 | commit | diff |
| matita/library/nat/factorization.ma | diff | blob | history |