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	1b839e0367f89503398442b7990fb6b6d1fa2152
tree	159d4262420c689e363f5d9bbc621d703991363c	tree \| snapshot
parent	fc313762a22ae8a5a5baed71dcd42bc52defc0e9	commit \| diff

added library_auto/ to tests.

68 files changed:

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

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

RSS Atom