]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 018a168) | patch
Improved approximations
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 30 Jan 2008 09:13:06 +0000 (09:13 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 30 Jan 2008 09:13:06 +0000 (09:13 +0000)
commit173965d294635f861850a850769b1530c73b835f
treebe8b09fa9d947cf4565501d73abd92ac0366b256tree | snapshot
parent018a168b0ca16c5951106162e515d7949366d754commit | diff
Improved approximations
helm/software/matita/library/nat/chebyshev.ma diff | blob | history
helm/software/matita/library/nat/factorial2.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.