matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/nat/gcd

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/nat/gcd_properties1.ma

2008-06-09	Claudio Sacerdoti...	Most of the time, URIs can now be replaced with identif...	blob \| commitdiff \| raw
2008-05-18	Claudio Sacerdoti...	Dummy dependent types are no longer cleaned in inductiv...	blob \| commitdiff \| raw \| diff to current
2007-09-19	Cristian Armentano	* Some simplifications to theorem in file totient1.ma.	blob \| commitdiff \| raw \| diff to current
2007-09-18	Cristian Armentano	some theorems have been moved to more appropriate files...	blob \| commitdiff \| raw \| diff to current
2007-09-11	Cristian Armentano	some theorem names changed.	blob \| commitdiff \| raw \| diff to current
2007-09-09	Cristian Armentano	other simplifications.	blob \| commitdiff \| raw \| diff to current
2007-09-07	Cristian Armentano	some simplifications.	blob \| commitdiff \| raw \| diff to current
2007-08-16	Cristian Armentano	little change to theorem eq_gcd_times_times_eqv_times_gcd	blob \| commitdiff \| raw \| diff to current
2007-06-27	Cristian Armentano	new gcd properties, and theorems for totient, and theor...	blob \| commitdiff \| raw \| diff to current

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