]> matita.cs.unibo.it Git - helm.git/commit
auto and autogui... some work
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 24 May 2007 15:54:36 +0000 (15:54 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 24 May 2007 15:54:36 +0000 (15:54 +0000)
commita180bddcd4a8f35de3d7292162ba05d0077723aa
tree44831aec85ec6530cf86c868ca18d9d9d832ca02
parentcf4088e2cabcbce9b112f1e1fd5cfd38fe16d427
auto and autogui... some work
63 files changed:
helm/software/matita/applyTransformation.ml
helm/software/matita/applyTransformation.mli
helm/software/matita/library/Fsub/defn.ma
helm/software/matita/library/Fsub/part1a.ma
helm/software/matita/library/Fsub/util.ma
helm/software/matita/library/Z/dirichlet_product.ma
helm/software/matita/library/Z/moebius.ma
helm/software/matita/library/Z/sigma_p.ma
helm/software/matita/library/algebra/CoRN/SemiGroups.ma
helm/software/matita/library/algebra/CoRN/SetoidFun.ma
helm/software/matita/library/algebra/CoRN/Setoids.ma
helm/software/matita/library/decidable_kit/decidable.ma
helm/software/matita/library/decidable_kit/fintype.ma
helm/software/matita/library/demo/power_derivative.ma
helm/software/matita/library/logic/coimplication.ma
helm/software/matita/library/logic/connectives2.ma
helm/software/matita/library/nat/congruence.ma
helm/software/matita/library/nat/div_and_mod_new.ma
helm/software/matita/library/nat/euler_theorem.ma
helm/software/matita/library/nat/factorization.ma
helm/software/matita/library/nat/iteration2.ma
helm/software/matita/library/nat/map_iter_p.ma
helm/software/matita/library/nat/minus.ma
helm/software/matita/library/nat/ord.ma
helm/software/matita/library/nat/permutation.ma
helm/software/matita/library/technicalities/setoids.ma
helm/software/matita/library_auto/auto/Q/q.ma
helm/software/matita/library_auto/auto/Z/compare.ma
helm/software/matita/library_auto/auto/Z/orders.ma
helm/software/matita/library_auto/auto/Z/plus.ma
helm/software/matita/library_auto/auto/Z/times.ma
helm/software/matita/library_auto/auto/Z/z.ma
helm/software/matita/library_auto/auto/nat/chinese_reminder.ma
helm/software/matita/library_auto/auto/nat/compare.ma
helm/software/matita/library_auto/auto/nat/congruence.ma
helm/software/matita/library_auto/auto/nat/count.ma
helm/software/matita/library_auto/auto/nat/div_and_mod.ma
helm/software/matita/library_auto/auto/nat/euler_theorem.ma
helm/software/matita/library_auto/auto/nat/exp.ma
helm/software/matita/library_auto/auto/nat/factorial.ma
helm/software/matita/library_auto/auto/nat/factorization.ma
helm/software/matita/library_auto/auto/nat/fermat_little_theorem.ma
helm/software/matita/library_auto/auto/nat/gcd.ma
helm/software/matita/library_auto/auto/nat/le_arith.ma
helm/software/matita/library_auto/auto/nat/lt_arith.ma
helm/software/matita/library_auto/auto/nat/map_iter_p.ma
helm/software/matita/library_auto/auto/nat/minimization.ma
helm/software/matita/library_auto/auto/nat/minus.ma
helm/software/matita/library_auto/auto/nat/nat.ma
helm/software/matita/library_auto/auto/nat/nth_prime.ma
helm/software/matita/library_auto/auto/nat/ord.ma
helm/software/matita/library_auto/auto/nat/orders.ma
helm/software/matita/library_auto/auto/nat/permutation.ma
helm/software/matita/library_auto/auto/nat/plus.ma
helm/software/matita/library_auto/auto/nat/primes.ma
helm/software/matita/library_auto/auto/nat/relevant_equations.ma
helm/software/matita/library_auto/auto/nat/sigma_and_pi.ma
helm/software/matita/library_auto/auto/nat/times.ma
helm/software/matita/library_auto/auto/nat/totient.ma
helm/software/matita/matita.glade
helm/software/matita/matitaAutoGui.ml
helm/software/matita/matitaGui.ml
helm/software/matita/matitaScript.ml