]> matita.cs.unibo.it Git - helm.git/commit
initial import
authorCristian Armentano <??>
Fri, 20 Apr 2007 10:03:20 +0000 (10:03 +0000)
committerCristian Armentano <??>
Fri, 20 Apr 2007 10:03:20 +0000 (10:03 +0000)
commit2496d3bb79095a571d9d986d79a49feab01ad416
tree10bf575ae627409a0c84af72bf9e042627bc3101
parent84d34c4d0b0a3c923a62cb686966ef66bccb54c8
initial import
33 files changed:
matita/library_auto/Q/q.ma [new file with mode: 0644]
matita/library_auto/Z/compare.ma [new file with mode: 0644]
matita/library_auto/Z/orders.ma [new file with mode: 0644]
matita/library_auto/Z/plus.ma [new file with mode: 0644]
matita/library_auto/Z/times.ma [new file with mode: 0644]
matita/library_auto/Z/z.ma [new file with mode: 0644]
matita/library_auto/nat/chinese_reminder.ma [new file with mode: 0644]
matita/library_auto/nat/compare.ma [new file with mode: 0644]
matita/library_auto/nat/congruence.ma [new file with mode: 0644]
matita/library_auto/nat/count.ma [new file with mode: 0644]
matita/library_auto/nat/div_and_mod.ma [new file with mode: 0644]
matita/library_auto/nat/euler_theorem.ma [new file with mode: 0644]
matita/library_auto/nat/exp.ma [new file with mode: 0644]
matita/library_auto/nat/factorial.ma [new file with mode: 0644]
matita/library_auto/nat/factorization.ma [new file with mode: 0644]
matita/library_auto/nat/fermat_little_theorem.ma [new file with mode: 0644]
matita/library_auto/nat/gcd.ma [new file with mode: 0644]
matita/library_auto/nat/le_arith.ma [new file with mode: 0644]
matita/library_auto/nat/lt_arith.ma [new file with mode: 0644]
matita/library_auto/nat/map_iter_p.ma [new file with mode: 0644]
matita/library_auto/nat/minimization.ma [new file with mode: 0644]
matita/library_auto/nat/minus.ma [new file with mode: 0644]
matita/library_auto/nat/nat.ma [new file with mode: 0644]
matita/library_auto/nat/nth_prime.ma [new file with mode: 0644]
matita/library_auto/nat/ord.ma [new file with mode: 0644]
matita/library_auto/nat/orders.ma [new file with mode: 0644]
matita/library_auto/nat/permutation.ma [new file with mode: 0644]
matita/library_auto/nat/plus.ma [new file with mode: 0644]
matita/library_auto/nat/primes.ma [new file with mode: 0644]
matita/library_auto/nat/relevant_equations.ma [new file with mode: 0644]
matita/library_auto/nat/sigma_and_pi.ma [new file with mode: 0644]
matita/library_auto/nat/times.ma [new file with mode: 0644]
matita/library_auto/nat/totient.ma [new file with mode: 0644]