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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 8 Nov 2005 15:43:07 +0000 (15:43 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 8 Nov 2005 15:43:07 +0000 (15:43 +0000)
commit	400b07e007cfbb0b4ce5ed77cfc50f227c491310
tree	53c9873c206a3ab72cd13dd2404bb1d4a4e54d7a	tree \| snapshot
parent	5538a4548601ba1c1647ec9dc0fbbd875e5a93fd	commit \| diff

Yet another semantics for simplify.

29 files changed:

helm/matita/library/Q/q.ma		diff \| blob \| history
helm/matita/library/Z/compare.ma		diff \| blob \| history
helm/matita/library/Z/orders.ma		diff \| blob \| history
helm/matita/library/Z/times.ma		diff \| blob \| history
helm/matita/library/Z/z.ma		diff \| blob \| history
helm/matita/library/datatypes/bool.ma		diff \| blob \| history
helm/matita/library/list/sort.ma		diff \| blob \| history
helm/matita/library/logic/equality.ma		diff \| blob \| history
helm/matita/library/nat/chinese_reminder.ma		diff \| blob \| history
helm/matita/library/nat/compare.ma		diff \| blob \| history
helm/matita/library/nat/count.ma		diff \| blob \| history
helm/matita/library/nat/div_and_mod.ma		diff \| blob \| history
helm/matita/library/nat/exp.ma		diff \| blob \| history
helm/matita/library/nat/factorial.ma		diff \| blob \| history
helm/matita/library/nat/factorization.ma		diff \| blob \| history
helm/matita/library/nat/fermat_little_theorem.ma		diff \| blob \| history
helm/matita/library/nat/gcd.ma		diff \| blob \| history
helm/matita/library/nat/lt_arith.ma		diff \| blob \| history
helm/matita/library/nat/minus.ma		diff \| blob \| history
helm/matita/library/nat/nat.ma		diff \| blob \| history
helm/matita/library/nat/nth_prime.ma		diff \| blob \| history
helm/matita/library/nat/ord.ma		diff \| blob \| history
helm/matita/library/nat/orders.ma		diff \| blob \| history
helm/matita/library/nat/permutation.ma		diff \| blob \| history
helm/matita/library/nat/plus.ma		diff \| blob \| history
helm/matita/library/nat/primes.ma		diff \| blob \| history
helm/matita/library/nat/times.ma		diff \| blob \| history
helm/matita/library/nat/totient.ma		diff \| blob \| history
helm/matita/tests/simpl.ma		diff \| blob \| history

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

RSS Atom