projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 17 Dec 2012 11:57:48 +0000 (11:57 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 17 Dec 2012 11:57:48 +0000 (11:57 +0000) | ||
| commit | e7da9c6f607b3b1d918edda44c461db9d4e558e0 | |
| tree | 1c181fa03c299f030d6e9520a51825349f1575c0 | tree | snapshot |
| parent | d4e183088f0652c276fbd98272822af845aa9fd2 | commit | diff |
| matita/matita/lib/arithmetics/chebyshev/chebyshev.ma | diff | blob | history | |
| matita/matita/lib/arithmetics/chebyshev/chebyshev_B.ma | [new file with mode: 0644] | blob |