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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 20 Apr 2007 12:26:16 +0000 (12:26 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Fri, 20 Apr 2007 12:26:16 +0000 (12:26 +0000)
commit	797f9ece92237a8d583a0c32ef4fa755299f9949
tree	4302c599e33bdf47359955c76742c5e1baf1e92f	tree \| snapshot
parent	9b6dcaba2d824263fdb849abec9fcc34a7546b5f	commit \| diff

added library_auto/ to tests.

68 files changed:

helm/software/matita/Makefile		diff \| blob \| history
helm/software/matita/library_auto/Q/q.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/Z/compare.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/Z/orders.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/Z/plus.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/Z/times.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/Z/z.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/auto/Q/q.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/Z/compare.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/Z/orders.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/Z/plus.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/Z/times.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/Z/z.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/chinese_reminder.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/compare.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/congruence.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/count.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/div_and_mod.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/euler_theorem.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/exp.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/factorial.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/factorization.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/fermat_little_theorem.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/gcd.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/le_arith.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/lt_arith.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/map_iter_p.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/minimization.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/minus.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/nat.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/nth_prime.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/ord.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/orders.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/permutation.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/plus.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/primes.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/relevant_equations.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/sigma_and_pi.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/times.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/auto/nat/totient.ma	[new file with mode: 0644]	blob
helm/software/matita/library_auto/makefile	[new file with mode: 0644]	blob
helm/software/matita/library_auto/nat/chinese_reminder.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/compare.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/congruence.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/count.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/div_and_mod.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/euler_theorem.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/exp.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/factorial.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/factorization.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/fermat_little_theorem.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/gcd.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/le_arith.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/lt_arith.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/map_iter_p.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/minimization.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/minus.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/nat.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/nth_prime.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/ord.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/orders.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/permutation.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/plus.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/primes.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/relevant_equations.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/sigma_and_pi.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/times.ma	[deleted file]	blob \| history
helm/software/matita/library_auto/nat/totient.ma	[deleted file]	blob \| history

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

RSS Atom