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 | e3396c6c9064039ed4330161ba8947217e220366 | |
| tree | 5ce0a36bddffdb56566559441cbe7d6b82306362 | tree | snapshot |
| parent | 631a70fd25750fa301f915d596c17f7845bfaba1 | commit | diff |
| helm/software/matita/library/nat/factorization.ma | diff | blob | history |