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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 23 Feb 2006 13:16:39 +0000 (13:16 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 23 Feb 2006 13:16:39 +0000 (13:16 +0000)
commit	04e27500136c94e4f2ac072a5e4d330b75da35f0
tree	79c832c37897c5e5576c841fcd679e8b3f102db4	tree \| snapshot
parent	2f4481184300cd4ffd3072555872f369ec8a008e	commit \| diff

64 "change" here and there in the library are now simplify/unfold as they
should have been. This has been possible because of some bugs fixed.

18 files changed:

matita/library/Q/q.ma		diff \| blob \| history
matita/library/Z/orders.ma		diff \| blob \| history
matita/library/Z/times.ma		diff \| blob \| history
matita/library/algebra/finite_groups.ma		diff \| blob \| history
matita/library/nat/chinese_reminder.ma		diff \| blob \| history
matita/library/nat/congruence.ma		diff \| blob \| history
matita/library/nat/count.ma		diff \| blob \| history
matita/library/nat/div_and_mod.ma		diff \| blob \| history
matita/library/nat/factorization.ma		diff \| blob \| history
matita/library/nat/fermat_little_theorem.ma		diff \| blob \| history
matita/library/nat/gcd.ma		diff \| blob \| history
matita/library/nat/lt_arith.ma		diff \| blob \| history
matita/library/nat/nth_prime.ma		diff \| blob \| history
matita/library/nat/ord.ma		diff \| blob \| history
matita/library/nat/orders.ma		diff \| blob \| history
matita/library/nat/permutation.ma		diff \| blob \| history
matita/library/nat/primes.ma		diff \| blob \| history
matita/library/nat/totient.ma		diff \| blob \| history

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