projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 21 Dec 2012 11:10:49 +0000 (11:10 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 21 Dec 2012 11:10:49 +0000 (11:10 +0000) | ||
| commit | 5f00537e0e589f1adaf7f3a40f0a7bcfa006dfd8 | |
| tree | a967d61fce2f9781cfba735f5245d4bacc1db25a | tree | snapshot |
| parent | 07f64a04ac6061c853d2e60237a7173968c6d759 | commit | diff |
| matita/matita/lib/arithmetics/chebyshev/bertrand.ma | diff | blob | history | |
| matita/matita/lib/arithmetics/chebyshev/bertrand256.ma | diff | blob | history |