matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Andrea Asperti <andrea.asperti@unibo.it>
	Mon, 18 Feb 2008 08:56:40 +0000 (08:56 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Mon, 18 Feb 2008 08:56:40 +0000 (08:56 +0000)
commit	c445ba5534cccde19016c92660ab52777af221c0
tree	84bd9392794640df3449935b6cda6d3b5268929e	tree \| snapshot
parent	3f5a0152427fd9a89e7239befd259d27b97aaef5	commit \| diff

Complete proof of Bertrand for n >= 256.
Removed the baseuri form all files in nat.

40 files changed:

helm/software/matita/library/nat/bertrand.ma		diff \| blob \| history
helm/software/matita/library/nat/binomial.ma		diff \| blob \| history
helm/software/matita/library/nat/chebyshev_teta.ma		diff \| blob \| history
helm/software/matita/library/nat/chebyshev_thm.ma		diff \| blob \| history
helm/software/matita/library/nat/chinese_reminder.ma		diff \| blob \| history
helm/software/matita/library/nat/compare.ma		diff \| blob \| history
helm/software/matita/library/nat/congruence.ma		diff \| blob \| history
helm/software/matita/library/nat/count.ma		diff \| blob \| history
helm/software/matita/library/nat/div_and_mod.ma		diff \| blob \| history
helm/software/matita/library/nat/div_and_mod_diseq.ma		diff \| blob \| history
helm/software/matita/library/nat/euler_theorem.ma		diff \| blob \| history
helm/software/matita/library/nat/exp.ma		diff \| blob \| history
helm/software/matita/library/nat/factorial.ma		diff \| blob \| history
helm/software/matita/library/nat/factorial2.ma		diff \| blob \| history
helm/software/matita/library/nat/factorization.ma		diff \| blob \| history
helm/software/matita/library/nat/fermat_little_theorem.ma		diff \| blob \| history
helm/software/matita/library/nat/gcd.ma		diff \| blob \| history
helm/software/matita/library/nat/generic_iter_p.ma		diff \| blob \| history
helm/software/matita/library/nat/iteration2.ma		diff \| blob \| history
helm/software/matita/library/nat/le_arith.ma		diff \| blob \| history
helm/software/matita/library/nat/log.ma		diff \| blob \| history
helm/software/matita/library/nat/lt_arith.ma		diff \| blob \| history
helm/software/matita/library/nat/map_iter_p.ma		diff \| blob \| history
helm/software/matita/library/nat/minimization.ma		diff \| blob \| history
helm/software/matita/library/nat/minus.ma		diff \| blob \| history
helm/software/matita/library/nat/nat.ma		diff \| blob \| history
helm/software/matita/library/nat/neper.ma		diff \| blob \| history
helm/software/matita/library/nat/nth_prime.ma		diff \| blob \| history
helm/software/matita/library/nat/ord.ma		diff \| blob \| history
helm/software/matita/library/nat/orders.ma		diff \| blob \| history
helm/software/matita/library/nat/permutation.ma		diff \| blob \| history
helm/software/matita/library/nat/pi_p.ma		diff \| blob \| history
helm/software/matita/library/nat/plus.ma		diff \| blob \| history
helm/software/matita/library/nat/primes.ma		diff \| blob \| history
helm/software/matita/library/nat/relevant_equations.ma		diff \| blob \| history
helm/software/matita/library/nat/sigma_and_pi.ma		diff \| blob \| history
helm/software/matita/library/nat/sqrt.ma		diff \| blob \| history
helm/software/matita/library/nat/times.ma		diff \| blob \| history
helm/software/matita/library/nat/totient.ma		diff \| blob \| history
helm/software/matita/library/nat/totient1.ma		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom