]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4989069) | patch
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)
commite61cdf77937ad2ff62af178ae1cb14af0629d0f2
tree196ee6f92c3bf7079c416d35a459a7503000b17dtree | snapshot
parent4989069e8c6910461913fc9a2bae104a0e0259b2commit | diff
initial import
33 files changed:
helm/software/matita/library_auto/Q/q.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/Z/compare.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/Z/orders.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/Z/plus.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/Z/times.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/Z/z.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/chinese_reminder.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/compare.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/congruence.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/count.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/div_and_mod.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/euler_theorem.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/exp.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/factorial.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/factorization.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/fermat_little_theorem.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/gcd.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/le_arith.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/lt_arith.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/map_iter_p.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/minimization.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/minus.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/nat.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/nth_prime.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/ord.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/orders.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/permutation.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/plus.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/primes.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/relevant_equations.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/sigma_and_pi.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/times.ma [new file with mode: 0644] blob
helm/software/matita/library_auto/nat/totient.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.