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	77440acc493b0e04b7e009b942c6a3268a46c141
tree	790b7674e7b7030b165dd2b527272a7c90aea48a	tree \| snapshot
parent	ed9f80229efee54f0448612e21fa6608f7de79a0	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

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

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

RSS Atom