projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 12 Oct 2007 11:13:57 +0000 (11:13 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 12 Oct 2007 11:13:57 +0000 (11:13 +0000) | ||
| commit | 2dece7e69dd5ee31e283da36025f5a3aa969be3d | |
| tree | 61c5c85f6aa3640d749d53b6f6e1ca6660cd667d | tree | snapshot |
| parent | b7f77f52fa66ace34da12dd7e5efcae05be6cbe5 | commit | diff |
| matita/library/Z/moebius.ma | diff | blob | history | |
| matita/library/nat/factorization.ma | diff | blob | history | |
| matita/library/nat/ord.ma | diff | blob | history |