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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: e4384a1) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Wed, 14 Sep 2005 07:47:11 +0000 (07:47 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Wed, 14 Sep 2005 07:47:11 +0000 (07:47 +0000)
commit	da83446deba30fbe32b9bf617d83bd22cc9c9770
tree	8048bfc63c9a5c8aebdb549c5873e1a48ea33e9b	tree \| snapshot
parent	e4384a12ff13352f8f87124f214072446164ed2b	commit \| diff

New version of the library. nth_prime, gcd, log.

helm/matita/library/nat/div_and_mod.ma		diff \| blob \| history
helm/matita/library/nat/exp.ma		diff \| blob \| history
helm/matita/library/nat/gcd.ma	[new file with mode: 0644]	blob
helm/matita/library/nat/log.ma	[new file with mode: 0644]	blob
helm/matita/library/nat/lt_arith.ma		diff \| blob \| history
helm/matita/library/nat/minimization.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	[new file with mode: 0644]	blob
helm/matita/library/nat/orders.ma		diff \| blob \| history
helm/matita/library/nat/primes.ma		diff \| blob \| history

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