]> matita.cs.unibo.it Git - helm.git/commit
Theorem sigma_p_knm changed into generic_iter_p_knm.
authorCristian Armentano <??>
Sun, 14 Oct 2007 14:06:05 +0000 (14:06 +0000)
committerCristian Armentano <??>
Sun, 14 Oct 2007 14:06:05 +0000 (14:06 +0000)
commit80f85c7fb53791fd72c0e64450c3c87d8f30b84d
tree99a33aa9340993a753b7822be636efdd80cc2733
parentad1ff720d3d5f12daa001231682172779c1728f6
Theorem sigma_p_knm changed into generic_iter_p_knm.
2 specific versions in nat/iteration2.ma and Z/sigma_p.ma
matita/library/Z/sigma_p.ma
matita/library/nat/generic_iter_p.ma
matita/library/nat/iteration2.ma