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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Sat, 22 Mar 2008 11:19:05 +0000 (11:19 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Sat, 22 Mar 2008 11:19:05 +0000 (11:19 +0000)
commit	bbb9215a02e1321d01a11c0ead6d0d218d047f68
tree	c5f3d81a21fde55b3aff5c8af09223d3be2752a5	tree \| snapshot
parent	d4302f43737034a69bd475e5f46e8d126229375e	commit \| diff

library_auto moved inside contrib, still not ported to the relatively-new
build system

69 files changed:

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

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

RSS Atom