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

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

2007-09-19	Cristian Armentano	* Some simplifications to theorem in file totient1.ma.	commit \| commitdiff \| tree
2007-09-18	Cristian Armentano	some theorems have been moved to more appropriate files...	commit \| commitdiff \| tree
2007-09-17	Cristian Armentano	temporary changes, before the complete cancellation...	commit \| commitdiff \| tree
2007-09-17	Cristian Armentano	simplified version of a theorem.	commit \| commitdiff \| tree
2007-09-11	Cristian Armentano	some theorem names changed.	commit \| commitdiff \| tree
2007-09-10	Cristian Armentano	other simplifications.	commit \| commitdiff \| tree
2007-09-09	Cristian Armentano	other simplifications.	commit \| commitdiff \| tree
2007-09-07	Cristian Armentano	some simplifications.	commit \| commitdiff \| tree
2007-09-06	Cristian Armentano	Some simplifications.	commit \| commitdiff \| tree
2007-08-16	Cristian Armentano	little change to theorem eq_gcd_times_times_eqv_times_gcd	commit \| commitdiff \| tree
2007-07-30	Cristian Armentano	renamed generic_sigma_p.ma to generic_iter_p.ma	commit \| commitdiff \| tree
2007-06-30	Cristian Armentano	New definition of Euler's totient function.	commit \| commitdiff \| tree
2007-06-29	Cristian Armentano	generic version, specializing generic_sigma_p.ma	commit \| commitdiff \| tree
2007-06-29	Cristian Armentano	generic version	commit \| commitdiff \| tree
2007-06-29	Cristian Armentano	theorems about sigma_p proved using sigma_p_gen	commit \| commitdiff \| tree
2007-06-27	Cristian Armentano	new gcd properties, and theorems for totient, and theorems...	commit \| commitdiff \| tree
2007-06-26	Cristian Armentano	(no commit message)	commit \| commitdiff \| tree
2007-06-26	Cristian Armentano	generic sommatory.	commit \| commitdiff \| tree
2007-04-20	Cristian Armentano	changed base uri	commit \| commitdiff \| tree
2007-04-20	Cristian Armentano	initial import	commit \| commitdiff \| tree

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

RSS Atom