]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad1ff72) | patch
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
tree99a33aa9340993a753b7822be636efdd80cc2733tree | snapshot
parentad1ff720d3d5f12daa001231682172779c1728f6commit | diff
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 diff | blob | history
matita/library/nat/generic_iter_p.ma diff | blob | history
matita/library/nat/iteration2.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.