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

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

author	Cristian Armentano <??>
	Fri, 20 Apr 2007 10:06:10 +0000 (10:06 +0000)
committer	Cristian Armentano <??>
	Fri, 20 Apr 2007 10:06:10 +0000 (10:06 +0000)
commit	af1498c45e1266fc08923eeaeb5c3cb7fc7776e6
tree	1e04a5dda7612ce0af4d8fb389159c579eea3c16	tree \| snapshot
parent	e61cdf77937ad2ff62af178ae1cb14af0629d0f2	commit \| diff

changed base uri

33 files changed:

helm/software/matita/library_auto/Q/q.ma		diff \| blob \| history
helm/software/matita/library_auto/Z/compare.ma		diff \| blob \| history
helm/software/matita/library_auto/Z/orders.ma		diff \| blob \| history
helm/software/matita/library_auto/Z/plus.ma		diff \| blob \| history
helm/software/matita/library_auto/Z/times.ma		diff \| blob \| history
helm/software/matita/library_auto/Z/z.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/chinese_reminder.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/compare.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/congruence.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/count.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/div_and_mod.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/euler_theorem.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/exp.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/factorial.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/factorization.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/fermat_little_theorem.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/gcd.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/le_arith.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/lt_arith.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/map_iter_p.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/minimization.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/minus.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/nat.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/nth_prime.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/ord.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/orders.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/permutation.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/plus.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/primes.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/relevant_equations.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/sigma_and_pi.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/times.ma		diff \| blob \| history
helm/software/matita/library_auto/nat/totient.ma		diff \| blob \| history

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

RSS Atom