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	ebb14e0084aecd167bc42245625c4eb3167df9d5
tree	63de9899c0faf1a9e67076c6d8cee6e971217a50	tree \| snapshot
parent	10b525d1f3d4ffd1c95e8a0c3e580a64b0f20c5f	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:

helm/software/matita/library/Q/q.ma		diff \| blob \| history
helm/software/matita/library/Z/orders.ma		diff \| blob \| history
helm/software/matita/library/Z/times.ma		diff \| blob \| history
helm/software/matita/library/algebra/finite_groups.ma		diff \| blob \| history
helm/software/matita/library/nat/chinese_reminder.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/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/lt_arith.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/primes.ma		diff \| blob \| history
helm/software/matita/library/nat/totient.ma		diff \| blob \| history

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