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

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

author	Cristian Armentano <??>
	Wed, 27 Jun 2007 18:05:37 +0000 (18:05 +0000)
committer	Cristian Armentano <??>
	Wed, 27 Jun 2007 18:05:37 +0000 (18:05 +0000)
commit	a9f72dea3b74e3c0c33daf5be8f4d5d75611492c
tree	4df2b2f187e4b6d1d655613f9a7ca68330c6fe0d	tree \| snapshot
parent	ee31ecd9be54fb4a3d815f11d77e88c3c49ff363	commit \| diff

new gcd properties, and theorems for totient, and theorems for totient1

--this line, and those below, will be ignored--

M    minus.ma
M    le_arith.ma
M    lt_arith.ma
M    div_and_mod.ma
M    div_and_mod_new.ma
M    orders.ma
A    propr_div_mod_lt_le_totient1_aux.ma
A    gcd_properties1.ma

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

RSS Atom

helm/software/matita/library/nat/div_and_mod.ma		diff \| blob \| history
helm/software/matita/library/nat/div_and_mod_new.ma		diff \| blob \| history
helm/software/matita/library/nat/gcd_properties1.ma	[new file with mode: 0644]	blob
helm/software/matita/library/nat/le_arith.ma		diff \| blob \| history
helm/software/matita/library/nat/lt_arith.ma		diff \| blob \| history
helm/software/matita/library/nat/minus.ma		diff \| blob \| history
helm/software/matita/library/nat/orders.ma		diff \| blob \| history
helm/software/matita/library/nat/propr_div_mod_lt_le_totient1_aux.ma	[new file with mode: 0644]	blob