projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 22 Nov 2007 14:25:36 +0000 (14:25 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 22 Nov 2007 14:25:36 +0000 (14:25 +0000) | ||
| commit | b44a732a930584aa08f4a78371dd9ac5b405f31e | |
| tree | 0704574504975d08997b2bdcc15ca1e54275def5 | tree | snapshot |
| parent | 29ba55bc6e228a2f5021b4131075ea3a3ba23458 | commit | diff |
| matita/library/nat/chebyshev.ma | diff | blob | history | |
| matita/library/nat/log.ma | diff | blob | history |