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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 24 May 2007 15:54:36 +0000 (15:54 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 24 May 2007 15:54:36 +0000 (15:54 +0000)
commit	8e24e39aed25a2c31fb7073308ee3f0b80c206e6
tree	1c8339d3b962875366ca496b8042ccd7d9265b8d	tree \| snapshot
parent	253b4b00b06f6796fcf8e3a6e3892cde143ff3b7	commit \| diff

auto and autogui... some work

63 files changed:

matita/applyTransformation.ml		diff \| blob \| history
matita/applyTransformation.mli		diff \| blob \| history
matita/library/Fsub/defn.ma		diff \| blob \| history
matita/library/Fsub/part1a.ma		diff \| blob \| history
matita/library/Fsub/util.ma		diff \| blob \| history
matita/library/Z/dirichlet_product.ma		diff \| blob \| history
matita/library/Z/moebius.ma		diff \| blob \| history
matita/library/Z/sigma_p.ma		diff \| blob \| history
matita/library/algebra/CoRN/SemiGroups.ma		diff \| blob \| history
matita/library/algebra/CoRN/SetoidFun.ma		diff \| blob \| history
matita/library/algebra/CoRN/Setoids.ma		diff \| blob \| history
matita/library/decidable_kit/decidable.ma		diff \| blob \| history
matita/library/decidable_kit/fintype.ma		diff \| blob \| history
matita/library/demo/power_derivative.ma		diff \| blob \| history
matita/library/logic/coimplication.ma		diff \| blob \| history
matita/library/logic/connectives2.ma		diff \| blob \| history
matita/library/nat/congruence.ma		diff \| blob \| history
matita/library/nat/div_and_mod_new.ma		diff \| blob \| history
matita/library/nat/euler_theorem.ma		diff \| blob \| history
matita/library/nat/factorization.ma		diff \| blob \| history
matita/library/nat/iteration2.ma		diff \| blob \| history
matita/library/nat/map_iter_p.ma		diff \| blob \| history
matita/library/nat/minus.ma		diff \| blob \| history
matita/library/nat/ord.ma		diff \| blob \| history
matita/library/nat/permutation.ma		diff \| blob \| history
matita/library/technicalities/setoids.ma		diff \| blob \| history
matita/library_auto/auto/Q/q.ma		diff \| blob \| history
matita/library_auto/auto/Z/compare.ma		diff \| blob \| history
matita/library_auto/auto/Z/orders.ma		diff \| blob \| history
matita/library_auto/auto/Z/plus.ma		diff \| blob \| history
matita/library_auto/auto/Z/times.ma		diff \| blob \| history
matita/library_auto/auto/Z/z.ma		diff \| blob \| history
matita/library_auto/auto/nat/chinese_reminder.ma		diff \| blob \| history
matita/library_auto/auto/nat/compare.ma		diff \| blob \| history
matita/library_auto/auto/nat/congruence.ma		diff \| blob \| history
matita/library_auto/auto/nat/count.ma		diff \| blob \| history
matita/library_auto/auto/nat/div_and_mod.ma		diff \| blob \| history
matita/library_auto/auto/nat/euler_theorem.ma		diff \| blob \| history
matita/library_auto/auto/nat/exp.ma		diff \| blob \| history
matita/library_auto/auto/nat/factorial.ma		diff \| blob \| history
matita/library_auto/auto/nat/factorization.ma		diff \| blob \| history
matita/library_auto/auto/nat/fermat_little_theorem.ma		diff \| blob \| history
matita/library_auto/auto/nat/gcd.ma		diff \| blob \| history
matita/library_auto/auto/nat/le_arith.ma		diff \| blob \| history
matita/library_auto/auto/nat/lt_arith.ma		diff \| blob \| history
matita/library_auto/auto/nat/map_iter_p.ma		diff \| blob \| history
matita/library_auto/auto/nat/minimization.ma		diff \| blob \| history
matita/library_auto/auto/nat/minus.ma		diff \| blob \| history
matita/library_auto/auto/nat/nat.ma		diff \| blob \| history
matita/library_auto/auto/nat/nth_prime.ma		diff \| blob \| history
matita/library_auto/auto/nat/ord.ma		diff \| blob \| history
matita/library_auto/auto/nat/orders.ma		diff \| blob \| history
matita/library_auto/auto/nat/permutation.ma		diff \| blob \| history
matita/library_auto/auto/nat/plus.ma		diff \| blob \| history
matita/library_auto/auto/nat/primes.ma		diff \| blob \| history
matita/library_auto/auto/nat/relevant_equations.ma		diff \| blob \| history
matita/library_auto/auto/nat/sigma_and_pi.ma		diff \| blob \| history
matita/library_auto/auto/nat/times.ma		diff \| blob \| history
matita/library_auto/auto/nat/totient.ma		diff \| blob \| history
matita/matita.glade		diff \| blob \| history
matita/matitaAutoGui.ml		diff \| blob \| history
matita/matitaGui.ml		diff \| blob \| history
matita/matitaScript.ml		diff \| blob \| history

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

RSS Atom